Searched refs:pctbenr (Results 1 – 1 of 1) sorted by relevance
41 uint32_t *pctbenr = (uint32_t *) (nxp_pmu_addr + in enable_core_tb() local44 mmio_write_32((uintptr_t)pctbenr, 0xff); in enable_core_tb()