gdb_tx_varhex
gdb_tx_varhex(val);
gdb_tx_varhex((uintmax_t)READ_SPECIALREG(far_el1));
gdb_tx_varhex((*thr_iter)->td_tid);
gdb_tx_varhex(GDB_BUFSZ + strlen("$#nn") - 1);
gdb_tx_varhex(GDB_REG_PC);
gdb_tx_varhex((uintmax_t)kdb_thread->td_tid);
gdb_tx_varhex((long)kdb_thread->td_tid);
gdb_tx_varhex((long)kdb_thread->td_tid);
gdb_tx_varhex(val);
gdb_tx_varhex(__startkernel & ~0xffff);