taglinefilesource code
put_short206arch/i386/boot/compressed/gzip.hput_short((n) & 0xffff); \
put_short207arch/i386/boot/compressed/gzip.hput_short(((ulg)(n)) >> 16); \