VM_REG_GUEST_PDPTE2 (reference) in projects: NextBSD

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

/NextBSD/sys/amd64/vmm/intel/
H D	vmcs.c	`110 case VM_REG_GUEST_PDPTE2: in vmcs_field_encoding()`
/NextBSD/sys/amd64/include/
H D	vmm.h	`83 VM_REG_GUEST_PDPTE2, enumerator`
/NextBSD/usr.sbin/bhyve/
H D	task_switch.c	`526 SETREG(ctx, vcpu, VM_REG_GUEST_PDPTE2, pdpte[2]); in tss32_restore()`