CPL_GET_TCB_RPL
[CPL_GET_TCB_RPL] = read_tcb_rpl,
[CPL_GET_TCB_RPL] = sched,
t3_register_cpl_handler(CPL_GET_TCB_RPL, do_hwtid_rpl);