Home
last modified time | relevance | path

Searched refs:maxphyaddr (Results 1 – 2 of 2) sorted by relevance

/freebsd/sys/dev/acpica/
H A Dacpi_pxm.c74 static vm_paddr_t maxphyaddr; variable
341 if (base >= maxphyaddr || in srat_parse_entry()
537 maxphyaddr = maxphys; in acpi_pxm_init()
/freebsd/usr.sbin/bhyve/amd64/
H A Dtask_switch.c483 uint64_t *pdpte, maxphyaddr, reserved; in tss32_restore() local
507 maxphyaddr = (1UL << 36) - 1; in tss32_restore()
517 reserved = ~maxphyaddr | 0x1E6; in tss32_restore()