Searched refs:GUEST_PDPTE (Results 1 – 4 of 4) sorted by relevance
| /xen/xen/arch/x86/hvm/vmx/ |
| A D | vmcs.c | 1992 vmr(GUEST_PDPTE(0)), vmr(GUEST_PDPTE(1))); in vmcs_dump_vcpu()
1994 vmr(GUEST_PDPTE(2)), vmr(GUEST_PDPTE(3))); in vmcs_dump_vcpu()
|
| A D | vvmx.c | 939 GUEST_PDPTE(0),
940 GUEST_PDPTE(1),
941 GUEST_PDPTE(2),
942 GUEST_PDPTE(3),
|
| A D | vmx.c | 1352 __vmwrite(GUEST_PDPTE(0), guest_pdptes[0]); in vmx_load_pdptrs()
1353 __vmwrite(GUEST_PDPTE(1), guest_pdptes[1]); in vmx_load_pdptrs()
1354 __vmwrite(GUEST_PDPTE(2), guest_pdptes[2]); in vmx_load_pdptrs()
1355 __vmwrite(GUEST_PDPTE(3), guest_pdptes[3]); in vmx_load_pdptrs()
|
| /xen/xen/include/asm-x86/hvm/vmx/ |
| A D | vmcs.h | 429 #define GUEST_PDPTE(n) (GUEST_PDPTE0 + (n) * 2) /* n = 0...3 */ macro
|
Completed in 18 milliseconds