Searched refs:pmap_bios16_leave (Results 1 – 3 of 3) sorted by relevance
249 void pmap_bios16_leave(void *handle);
439 pmap_bios16_leave(bios16_pmap_handle); in bios16()
551 pmap_bios16_leave(void *handle) in pmap_bios16_leave() function