WCP14_             12 arch/arm/include/asm/hardware/cp14.h #define dbg_write(val, reg)		WCP14_##reg(val)
WCP14_             14 arch/arm/include/asm/hardware/cp14.h #define etm_write(val, reg)		WCP14_##reg(val)