Searched refs:vmptrld (Results 1 – 4 of 4) sorted by relevance
85 GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa)); in l1_guest_code()95 GUEST_ASSERT(!vmptrld(vmx_pages->vmcs_gpa)); in l1_guest_code()99 GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa)); in l1_guest_code()
233 vmx_asm1(vmptrld, "m"(phys_addr), vmcs, phys_addr); in vmcs_load()
371 static inline int vmptrld(uint64_t vmcs_pa) in vmptrld() function
182 if (vmptrld(vmx->vmcs_gpa)) in load_vmcs()
