Searched refs:PID_POINTER_TABLE (Results 1 – 2 of 2) sorted by relevance
/linux/arch/x86/include/asm/ | ||
H A D | vmx.h | 259 PID_POINTER_TABLE = 0x00002042, enumerator |
/linux/arch/x86/kvm/vmx/ | ||
H A D | vmx.c | 4770 vmcs_write64(PID_POINTER_TABLE, __pa(kvm_vmx->pid_table)); in init_vmcs() |