Searched refs:VMM_REG_PDPTE0 (Results 1 – 2 of 2) sorted by relevance
| /illumos-gate/usr/src/lib/libvmm/ | ||
| H A D | libvmm.h | 48 VMM_REG_PDPTE0, enumerator |
| /illumos-gate/usr/src/cmd/mdb/intel/mdb/ | ||
| H A D | mdb_bhyve.c | 507 VMM_REG_PDPTE0, in bhyve_sysregs_dcmd() |