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

/xen/xen/include/asm-x86/hvm/vmx/
A D	vmcs.h	428 GUEST_PDPTE0 = 0x0000280a, enumerator 429 #define GUEST_PDPTE(n) (GUEST_PDPTE0 + (n) * 2) /* n = 0...3 */

Completed in 4 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023