etm_readl_cp14
int etm_readl_cp14(u32 reg, unsigned int *val)
static inline int etm_readl_cp14(u32 off, unsigned int *val) { return 0; }