Searched refs:gicv3_cache_target_cpustate (Results 1 – 2 of 2) sorted by relevance
831 static inline void gicv3_cache_target_cpustate(GICv3State *s, int irq) in gicv3_cache_target_cpustate() function859 gicv3_cache_target_cpustate(s, irq); in gicv3_cache_all_target_cpustates()
284 gicv3_cache_target_cpustate(s, irq); in gicd_write_irouter()