A_SCD_TRACE_SEQUENCE_4
(A_SCD_TRACE_SEQUENCE_4 + (((n) & 3) * TRACE_REGISTER_SPACING)) : \
__raw_writeq(0, IOADDR(A_SCD_TRACE_SEQUENCE_4));