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

/freebsd-11-stable/sys/amd64/vmm/intel/
H A Dvmcs.c115 case VM_REG_GUEST_PDPTE1:
/freebsd-11-stable/sys/amd64/include/
H A Dvmm.h87 VM_REG_GUEST_PDPTE1, enumerator in enum:vm_reg_name
/freebsd-11-stable/usr.sbin/bhyve/
H A Dtask_switch.c527 SETREG(ctx, vcpu, VM_REG_GUEST_PDPTE1, pdpte[1]);

Completed in 143 milliseconds