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

/freebsd-11-stable/sys/amd64/vmm/intel/
H A Dvmcs.c117 case VM_REG_GUEST_PDPTE2:
/freebsd-11-stable/sys/amd64/include/
H A Dvmm.h88 VM_REG_GUEST_PDPTE2, enumerator in enum:vm_reg_name
/freebsd-11-stable/usr.sbin/bhyve/
H A Dtask_switch.c528 SETREG(ctx, vcpu, VM_REG_GUEST_PDPTE2, pdpte[2]);

Completed in 131 milliseconds