gic_write_pmr
static inline void gic_write_pmr(u32 val)
static __always_inline void gic_write_pmr(u32 val)