Symbol: brcms_dbg_int