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

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

Completed in 96 milliseconds