Searched refs:gic_read_sre (Results 1 – 3 of 3) sorted by relevance
91 static inline u32 gic_read_sre(void) in gic_read_sre() function
630 val = gic_read_sre(); in gic_enable_sre()636 val = gic_read_sre(); in gic_enable_sre()
222 static inline u32 gic_read_sre(void) in gic_read_sre() function
