driver_printf
# define TRACE_BUS_SPACE_RW(x) driver_printf x
extern void driver_printf(const char *format, ...);
driver_printf("(%s:%i) " format "\n", file, line, arg1, arg2, arg3, arg4, arg5, arg6)
void driver_printf(const char *format, ...)
driver_printf("%s: /dev/%s\n", gDriverName, ifp->device_name);