Home
last modified time | relevance | path

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

/linux-4.1.27/arch/x86/include/asm/
Dvmx.h155 EPT_POINTER = 0x0000201a, enumerator
/linux-4.1.27/arch/x86/kvm/
Dvmx.c660 FIELD64(EPT_POINTER, ept_pointer),
3628 vmcs_write64(EPT_POINTER, eptp); in vmx_set_cr3()