Searched refs:gic_read_ctlr (Results 1 – 4 of 4) sorted by relevance
88 static inline u32 gic_read_ctlr(void) in gic_read_ctlr() function
789 pribits = gic_read_ctlr(); in gic_get_pribits()1138 per_cpu(has_rss, cpu) = !!(gic_read_ctlr() & ICC_CTLR_EL1_RSS); in gic_cpu_sys_reg_init()1189 !(gic_read_ctlr() & ICC_CTLR_EL1_ExtRange), in gic_cpu_init()
2110 return (gic_read_ctlr() & ICC_CTLR_EL1_PMHE_MASK) == 0; in has_gic_prio_relaxed_sync()
Completed in 13 milliseconds