et4k_start
et4k_start(iot, ioh, &vgabase, &saved);
static void et4k_start(bus_space_tag_t *, bus_space_handle_t *, int *,