Searched refs:gic_read_rpr (Results 1 – 2 of 2) sorted by relevance
117 static inline u32 gic_read_rpr(void) in gic_read_rpr() function
248 static inline u32 gic_read_rpr(void) in gic_read_rpr() function