- src = static_cast<Thread const *>(e->ctx())->dbg_id(); //L4_uid(e->ctx(), Mem_layout::Tcbs, THREAD_BLOCK_SIZE);
- dst = static_cast<Thread const *>(e->dst())->dbg_id(); //L4_uid(e->dst(), Mem_layout::Tcbs, THREAD_BLOCK_SIZE);
- dst_orig = static_cast<Thread const *>(e->dst_orig())->dbg_id(); //L4_uid(e->dst_orig(), Mem_layout::Tcbs, THREAD_BLOCK_SIZE);
+ src = static_cast<Thread const *>(e->ctx())->dbg_info()->dbg_id();
+ dst = static_cast<Thread const *>(e->dst())->dbg_info()->dbg_id();
+ dst_orig = static_cast<Thread const *>(e->dst_orig())->dbg_info()->dbg_id();