sbbc_dbg
static void sbbc_dbg(uint32_t flag, dev_info_t *dip, char *fmt,
sbbc_dbg(flag, dip, fmt, 0, 0, 0, 0, 0);
sbbc_dbg(flag, dip, fmt, (uintptr_t)(a1), 0, 0, 0, 0);
sbbc_dbg(flag, dip, fmt, (uintptr_t)(a1), (uintptr_t)(a2), 0, 0, 0);
sbbc_dbg(flag, dip, fmt, (uintptr_t)(a1), (uintptr_t)(a2), \
sbbc_dbg(flag, dip, fmt, (uintptr_t)(a1), (uintptr_t)(a2), \
sbbc_dbg(flag, dip, fmt, (uintptr_t)(a1), (uintptr_t)(a2), \