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