VM_REG_GUEST_PDPTE0 (reference) in projects: NextBSD

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

/NextBSD/sys/amd64/vmm/intel/
H D	vmcs.c	`106 case VM_REG_GUEST_PDPTE0: in vmcs_field_encoding()`
/NextBSD/sys/amd64/include/
H D	vmm.h	`81 VM_REG_GUEST_PDPTE0, enumerator`
/NextBSD/usr.sbin/bhyve/
H D	task_switch.c	`524 SETREG(ctx, vcpu, VM_REG_GUEST_PDPTE0, pdpte[0]); in tss32_restore()`