taglinefilesource code
inflate_stored38arch/i386/boot/compressed/inflate.cint inflate_stored OF((void));
inflate_stored757arch/i386/boot/compressed/inflate.creturn inflate_stored();