prsel_write        35 arch/arm/mm/pmsa-v8.c static inline void prsel_write(u32 v)
prsel_write        61 arch/arm/mm/pmsa-v8.c static inline void prsel_write(u32 v)