Searched refs:vmptrstz (Results 1 – 3 of 3) sorted by relevance
45 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in l1_guest_code()48 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in l1_guest_code()54 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in l1_guest_code()56 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in l1_guest_code()
57 GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa); in l1_guest_code()60 GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa); in l1_guest_code()66 GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa); in l1_guest_code()68 GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa); in l1_guest_code()
408 static inline uint64_t vmptrstz(void) in vmptrstz() function