pack_hex_byte     380 kernel/kgdb.c  			buf = pack_hex_byte(buf, *tmp);
pack_hex_byte     521 kernel/kgdb.c  		pkt = pack_hex_byte(pkt, *id++);
pack_hex_byte     791 kernel/kgdb.c  			bufptr = pack_hex_byte(bufptr, s[i]);
pack_hex_byte     843 kernel/kgdb.c  	pack_hex_byte(&remcom_out_buffer[1], ks->signo);
pack_hex_byte    1233 kernel/kgdb.c  		ptr = pack_hex_byte(ptr, ks->signo);