4) fc8_32e, vtd nic assigned. It works fine. Yet found still find below problem domain_destroy is not completed, so vtd-resources are not freed totally. So when you destroy this domain and recreate the domain process will fail.

Also verified with even have update_paging_modes, cr3 missing domain_page error problem still exists. I remember I tracked the problem before, When update_page_mode, if we changed cr3, it will put_page(old cr3 page) and Get_page(new cr3 page), so it will keep balance. But for this s3 case, since when sleep down it is in protected mode, when back it begins from real mode, so the cr3 used in protected mode is never put?