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