40 	assert(driver_data->gicc_base != 0U);  in gicv2_cpuif_enable()
50 	gicc_write_pmr(driver_data->gicc_base, GIC_PRI_MASK);  in gicv2_cpuif_enable()
51 	gicc_write_ctlr(driver_data->gicc_base, val);  in gicv2_cpuif_enable()
63 	assert(driver_data->gicc_base != 0U);  in gicv2_cpuif_disable()
66 	val = gicc_read_ctlr(driver_data->gicc_base);  in gicv2_cpuif_disable()
70 	gicc_write_ctlr(driver_data->gicc_base, val);  in gicv2_cpuif_disable()
134 	assert(plat_driver_data->gicc_base != 0U);  in gicv2_driver_init()
183 	assert(driver_data->gicc_base != 0U);  in gicv2_is_fiq_enabled()
185 	gicc_ctlr = gicc_read_ctlr(driver_data->gicc_base);  in gicv2_is_fiq_enabled()
200 	assert(driver_data->gicc_base != 0U);  in gicv2_get_pending_interrupt_type()
202 	return gicc_read_hppir(driver_data->gicc_base) & INT_ID_MASK;  in gicv2_get_pending_interrupt_type()
215 	assert(driver_data->gicc_base != 0U);  in gicv2_get_pending_interrupt_id()
217 	id = gicc_read_hppir(driver_data->gicc_base) & INT_ID_MASK;  in gicv2_get_pending_interrupt_id()
224 		id = gicc_read_ahppir(driver_data->gicc_base) & INT_ID_MASK;  in gicv2_get_pending_interrupt_id()
237 	assert(driver_data->gicc_base != 0U);  in gicv2_acknowledge_interrupt()
239 	return gicc_read_IAR(driver_data->gicc_base);  in gicv2_acknowledge_interrupt()
249 	assert(driver_data->gicc_base != 0U);  in gicv2_end_of_interrupt()
260 	gicc_write_EOIR(driver_data->gicc_base, id);  in gicv2_end_of_interrupt()
284 	assert(driver_data->gicc_base != 0U);  in gicv2_get_running_priority()
286 	return gicc_read_rpr(driver_data->gicc_base);  in gicv2_get_running_priority()
534 	assert(driver_data->gicc_base != 0U);  in gicv2_set_pmr()
536 	old_mask = gicc_read_pmr(driver_data->gicc_base);  in gicv2_set_pmr()
543 	gicc_write_pmr(driver_data->gicc_base, mask);  in gicv2_set_pmr()