bios16_pmap_handle
void *bios16_pmap_handle;
bios16_pmap_handle = pmap_bios16_enter();
pmap_bios16_leave(bios16_pmap_handle);
struct bios16_pmap_handle *h;
h = malloc(sizeof(struct bios16_pmap_handle), M_TEMP, M_WAITOK);
struct bios16_pmap_handle *h;