RCP14_             11 arch/arm/include/asm/hardware/cp14.h #define dbg_read(reg)			RCP14_##reg()
RCP14_             13 arch/arm/include/asm/hardware/cp14.h #define etm_read(reg)			RCP14_##reg()