Searched refs:ICC_SGI1R (Results 1 – 3 of 3) sorted by relevance
76 MAKE_REG64_HELPER(ICC_SGI1R, 0, 12);
145 #define ICC_SGI1R S3_0_C12_C11_5 macro
325 write_sysreg(sgi_val, ICC_SGI1R); in gic_raise_sgi()
