Home
last modified time | relevance | path

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

/external/arm-trusted-firmware/drivers/arm/gic/v2/
Dgicv2_main.c49 gicc_write_pmr(driver_data->gicc_base, GIC_PRI_MASK); in gicv2_cpuif_enable()
531 gicc_write_pmr(driver_data->gicc_base, mask); in gicv2_set_pmr()
Dgicv2_private.h119 static inline void gicc_write_pmr(uintptr_t base, unsigned int val) in gicc_write_pmr() function