Home
last modified time | relevance | path

Searched refs:pctbenr (Results 1 – 1 of 1) sorted by relevance

/trusted-firmware-a-3.4.0/drivers/nxp/pmu/
Dpmu.c41 uint32_t *pctbenr = (uint32_t *) (nxp_pmu_addr + in enable_core_tb() local
44 mmio_write_32((uintptr_t)pctbenr, 0xff); in enable_core_tb()