Searched defs:maxphyaddr (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/dev/acpica/ | ||
| H A D | acpi_pxm.c | 74 static vm_paddr_t maxphyaddr; variable |
| /freebsd/usr.sbin/bhyve/amd64/ | ||
| H A D | task_switch.c | 483 uint64_t *pdpte, maxphyaddr, reserved; in tss32_restore() local |