driver_printf

30

# define TRACE_BUS_SPACE_RW(x) driver_printf x

135

extern void driver_printf(const char *format, ...);

137

driver_printf("(%s:%i) " format "\n", file, line, arg1, arg2, arg3, arg4, arg5, arg6)

95

void driver_printf(const char *format, ...)

256

driver_printf("%s: /dev/%s\n", gDriverName, ifp->device_name);