Searched defs:current_vmptr (Results 1 – 2 of 2) sorted by relevance
123 gpa_t current_vmptr; member
5678 gpa_t current_vmptr = to_vmx(vcpu)->nested.current_vmptr; in handle_vmptrst() local