Searched defs:gic_read_ctlr (Results 1 – 2 of 2) sorted by relevance
75 static inline u32 gic_read_ctlr(void) in gic_read_ctlr() function
93 static inline u32 gic_read_ctlr(void) in gic_read_ctlr() function