Searched defs:maxphyaddr (Results 1 – 2 of 2) sorted by relevance
74 static vm_paddr_t maxphyaddr; variable
483 uint64_t *pdpte, maxphyaddr, reserved; in tss32_restore() local