Searched refs:current_vmptr (Results 1 – 2 of 2) sorted by relevance
80 gpa_t current_vmptr; member
5024 vmx->nested.current_vmptr = INVALID_GPA; in __vmx_vcpu_reset()