110 static u32 partial_crc32_one(u8 c, u32 crc)  in partial_crc32_one()  argument
112 	return crctab32[(crc ^ c) & 0xff] ^ (crc >> 8);  in partial_crc32_one()
115 static u32 partial_crc32(const u8 *s, int len, u32 crc)  in partial_crc32()  argument
118 		crc = partial_crc32_one(*s++, crc);  in partial_crc32()
119 	return crc;  in partial_crc32()
146 	u32 crc = 0xffffffffUL;  in main()  local
229 	crc = partial_crc32(buf, i, crc);  in main()
234 	crc = partial_crc32(kernel, sz, crc);  in main()
240 		crc = partial_crc32_one('\0', crc);  in main()
246 	fprintf(stderr, "CRC %lx\n", crc);  in main()
247 	if (fwrite(&crc, 1, 4, stdout) != 4)  in main()