}
/* Validate version */
- if (version.version > KERN_MODULES_VERSION) {
+ if (version.version != KERN_MODULES_PRE_VERSION
+ && version.version != KERN_MODULES_VERSION) {
goto error_version;
}
*/
int init_kernel_workarounds(void)
{
+ int ret;
FILE *fp;
/*
while (!feof(fp)) {
char buf[37] = "";
- (void) fread(buf, 1, sizeof(buf), fp);
+ ret = fread(buf, 1, sizeof(buf), fp);
+ if (ret < 0) {
+ /* Ignore error, we don't really care */
+ }
}
fclose(fp);
end_boot_id: