Searched refs:ICC_SGI1R (Results 1 – 1 of 1) sorted by relevance
30 #define ICC_SGI1R __ACCESS_CP15_64(0, c12) macro141 write_sysreg(val, ICC_SGI1R); in gic_write_sgi1r()