# CONFIG_MARVELL_CN10K_TAD_PMU is not set
