kdb_func_printf
kdb_func_printf(format, ## args); \
kdb_func_printf("Bad address 0x%lx\n", addr);
kdb_func_printf("Bad address 0x%lx\n", addr);
kdb_func_printf("bad width %zu\n", size);
kdb_func_printf("bad width %zu\n", size);
kdb_func_printf("bad width %zu\n", size);