BUF_THREAD_ID_SIZE  519 kernel/kgdb.c  	limit = pkt + BUF_THREAD_ID_SIZE;
BUF_THREAD_ID_SIZE 1018 kernel/kgdb.c  				ptr += BUF_THREAD_ID_SIZE;
BUF_THREAD_ID_SIZE 1028 kernel/kgdb.c  				ptr += BUF_THREAD_ID_SIZE;
BUF_THREAD_ID_SIZE 1064 kernel/kgdb.c  			static char tmpstr[23 + BUF_THREAD_ID_SIZE];