pack_threadid    1017 kernel/kgdb.c  				pack_threadid(ptr, thref);
pack_threadid    1027 kernel/kgdb.c  				pack_threadid(ptr, thref);
pack_threadid    1045 kernel/kgdb.c  		pack_threadid(remcom_out_buffer + 2, thref);
pack_threadid    1236 kernel/kgdb.c  		ptr = pack_threadid(ptr, thref);