Searched refs:gic_read_ctlr (Results 1 – 3 of 3) 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
729 pribits = gic_read_ctlr(); in gic_get_pribits()1063 per_cpu(has_rss, cpu) = !!(gic_read_ctlr() & ICC_CTLR_EL1_RSS); in gic_cpu_sys_reg_init()1114 !(gic_read_ctlr() & ICC_CTLR_EL1_ExtRange), in gic_cpu_init()1689 if (gic_read_ctlr() & ICC_CTLR_EL1_PMHE_MASK) in gic_enable_nmi_support()