Home
last modified time | relevance | path

Searched refs:guest_vpid (Results 1 – 2 of 2) sorted by relevance

/xen/xen/include/asm-x86/hvm/vmx/
A Dvvmx.h53 uint32_t guest_vpid; member
/xen/xen/arch/x86/hvm/vmx/
A Dvvmx.c139 nvmx->guest_vpid = 0; in nvmx_vcpu_initialise()
1260 if ( nvmx->guest_vpid != new_vpid ) in virtual_vmentry()
1263 nvmx->guest_vpid = new_vpid; in virtual_vmentry()

Completed in 7 milliseconds