Searched refs:gic_write_bpr1 (Results 1 – 3 of 3) sorted by relevance
102 static inline void gic_write_bpr1(u32 val) in gic_write_bpr1() function
120 static inline void gic_write_bpr1(u32 val) in gic_write_bpr1() function
950 gic_write_bpr1(0); in gic_cpu_sys_reg_init()
