VM_REG_GUEST_PDPTE3 (reference) in projects: freebsd-10-stable

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

/freebsd-10-stable/sys/amd64/vmm/intel/
D	vmcs.c	`119 case VM_REG_GUEST_PDPTE3: in vmcs_field_encoding()`
/freebsd-10-stable/sys/amd64/include/
D	vmm.h	`84 VM_REG_GUEST_PDPTE3, enumerator`
/freebsd-10-stable/usr.sbin/bhyve/
D	task_switch.c	`527 SETREG(ctx, vcpu, VM_REG_GUEST_PDPTE3, pdpte[3]); in tss32_restore()`