Searched defs:current_vmptr (Results 1 – 3 of 3) sorted by relevance
108 gpa_t current_vmptr; member
5266 gpa_t current_vmptr = to_vmx(vcpu)->nested.current_vmptr; in handle_vmptrst() local
818 gpa_t current_vmptr; member8973 gpa_t current_vmptr = to_vmx(vcpu)->nested.current_vmptr; in handle_vmptrst() local