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

/freebsd-11-stable/sys/amd64/vmm/intel/
H A Dvmcs.c113 case VM_REG_GUEST_PDPTE0:
/freebsd-11-stable/sys/amd64/include/
H A Dvmm.h86 VM_REG_GUEST_PDPTE0, enumerator in enum:vm_reg_name
/freebsd-11-stable/usr.sbin/bhyve/
H A Dtask_switch.c526 SETREG(ctx, vcpu, VM_REG_GUEST_PDPTE0, pdpte[0]);

Completed in 114 milliseconds