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

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

Completed in 113 milliseconds