pc_context_init
void pc_context_init(bus_space_tag_t, bus_space_tag_t, bus_space_tag_t,
pc_context_init(crt_iot, crt_memt, kbd_iot, config);