Searched refs:vid_vpid (Results 1 – 2 of 2) sorted by relevance
731 uint64_t vid_vpid; member
3801 vid.vid_vpid = vcpu->vc_vpid; in vcpu_run_vmx()5100 vid.vid_vpid = vcpu->vc_vpid; in vmx_handle_cr0_write()