Searched refs:gic_write_grpen1 (Results 1 – 3 of 3) sorted by relevance
93 static inline void gic_write_grpen1(u32 val) in gic_write_grpen1() function
1228 gic_write_grpen1(1); in gic_cpu_sys_reg_init()1468 gic_write_grpen1(0); in gic_cpu_pm_notifier()