565 	FILE *inf = fopen("/proc/filesystems", "r");  in check_resctrlfs_support()  local
570 	if (!inf)  in check_resctrlfs_support()
573 	res = fgrep(inf, "nodev\tresctrl\n");  in check_resctrlfs_support()
580 	fclose(inf);  in check_resctrlfs_support()
598 char *fgrep(FILE *inf, const char *str)  in fgrep()  argument
603 	while (!feof(inf)) {  in fgrep()
604 		if (!fgets(line, 256, inf))  in fgrep()
623 	FILE *inf = fopen("/proc/cpuinfo", "r");  in validate_resctrl_feature_request()  local
627 	if (!inf)  in validate_resctrl_feature_request()
630 	res = fgrep(inf, "flags");  in validate_resctrl_feature_request()
638 	fclose(inf);  in validate_resctrl_feature_request()