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

/tf-a-ffa_el3_spmc/drivers/arm/gic/v2/
A D	gicv2_private.h	90 static inline unsigned int gicc_read_ahppir(uintptr_t base) in gicc_read_ahppir() function
A D	gicv2_main.c	223 id = gicc_read_ahppir(driver_data->gicc_base) & INT_ID_MASK; in gicv2_get_pending_interrupt_id()

Completed in 3 milliseconds

Last Index update Fri Sep 05 17:56:23 CST 2025