Searched defs:maxphyaddr (Results 1 - 1 of 1) sorted by relevance

/freebsd-11-stable/usr.sbin/bhyve/
H A Dtask_switch.c486 uint64_t *pdpte, maxphyaddr, reserved; local

Completed in 52 milliseconds