gic_read_pmr
c->pmr = gic_read_pmr(); \
old_pmr = gic_read_pmr();
val = gic_read_pmr();
pmr = gic_read_pmr();