CPL_SMT_WRITE_RPL
t3_register_cpl_handler(CPL_SMT_WRITE_RPL, do_smt_write_rpl);
} else if (opcode == CPL_SMT_WRITE_RPL) {