Searched refs:vmptrld (Results 1 – 4 of 4) sorted by relevance
116 GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa)); in vmx_l1_guest_code()126 GUEST_ASSERT(!vmptrld(vmx_pages->vmcs_gpa)); in vmx_l1_guest_code()130 GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa)); in vmx_l1_guest_code()
252 vmx_asm1(vmptrld, "m"(phys_addr), vmcs, phys_addr); in vmcs_load()
371 static inline int vmptrld(uint64_t vmcs_pa) in vmptrld() function
185 if (vmptrld(vmx->vmcs_gpa)) in load_vmcs()