// result of ipc static unsigned formatter_ipc_res(Tb_entry *tb, const char *tidstr, unsigned tidlen, char *buf, int maxlen) { Tb_entry_ipc_res *e = static_cast<Tb_entry_ipc_res*>(tb); L4_error error; if (e->tag().has_error()) error = e->result(); else error = L4_error::None; const char *m = "answ"; //get_ipc_type(e); my_snprintf(buf, maxlen, " %s%-*s %s [%08lx] L=%lx err=%lx (%s) (%lx,%lx) ", e->is_np() ? "[np] " : "", tidlen, tidstr, m, e->tag().raw(), e->from(), error.raw(), error.str_error(), e->dword(0), e->dword(1)); return maxlen; }