Symbol: pmap_bios16_leave
sys/i386/i386/bios.c
437
pmap_bios16_leave(bios16_pmap_handle);
sys/i386/include/pmap.h
219
void pmap_bios16_leave(void *handle);