Re: Accessing dbg_info()->dbg_id() for threads in ready queue class