/* * XXX Consider using bus_space_reserve/map instead. Don't want to use * bus_space_map because presumably that will eat too much KVA. */