Searched refs:vmptrld (Results 1 – 4 of 4) sorted by relevance
115 GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa)); in vmx_l1_guest_code()125 GUEST_ASSERT(!vmptrld(vmx_pages->vmcs_gpa)); in vmx_l1_guest_code()129 GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa)); in vmx_l1_guest_code()
279 vmx_asm1(vmptrld, "m"(phys_addr), vmcs, phys_addr); in vmcs_load()
326 static inline int vmptrld(uint64_t vmcs_pa) in vmptrld() function
180 if (vmptrld(vmx->vmcs_gpa)) in load_vmcs()