Searched refs:gicc_write_pmr (Results 1 – 2 of 2) sorted by relevance
49 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()
119 static inline void gicc_write_pmr(uintptr_t base, unsigned int val) in gicc_write_pmr() function