# CONFIG_BRCM_TRACING is not set