gic_read_ctlr
return (gic_read_ctlr() & ICC_CTLR_EL1_PMHE_MASK) == 0;
per_cpu(has_rss, cpu) = !!(gic_read_ctlr() & ICC_CTLR_EL1_RSS);
pribits = gic_read_ctlr();
!(gic_read_ctlr() & ICC_CTLR_EL1_ExtRange),