Searched refs:ICC_SRE_EL1 (Results 1 – 2 of 2) sorted by relevance
273 write_gicreg(0, ICC_SRE_EL1); in __vgic_v3_activate_traps()321 write_gicreg(1, ICC_SRE_EL1); in __vgic_v3_deactivate_traps()416 u64 val, sre = read_gicreg(ICC_SRE_EL1); in __vgic_v3_get_gic_config()439 write_gicreg(0, ICC_SRE_EL1); in __vgic_v3_get_gic_config()442 val = read_gicreg(ICC_SRE_EL1); in __vgic_v3_get_gic_config()444 write_gicreg(sre, ICC_SRE_EL1); in __vgic_v3_get_gic_config()
99 #define ICC_SRE_EL1 S3_0_C12_C12_5 macro