Instead, print a diagnostic and return. (Some drivers do this already.) Also, normalize the diagnostic message, and fix some places where the printfs were getting ugly.
using the address in a bus_space_map() call.