Searched refs:SYS_ICC_SGI1R_EL1 (Results 1 – 3 of 3) sorted by relevance
88 write_sysreg_s(val, SYS_ICC_SGI1R_EL1); in gic_write_sgi1r()
416 #define SYS_ICC_SGI1R_EL1 sys_reg(3, 0, 12, 11, 5) macro
1528 { SYS_DESC(SYS_ICC_SGI1R_EL1), access_gic_sgi },