564 	FILE *inf = fopen("/proc/filesystems", "r");  in check_resctrlfs_support()  local
569 	if (!inf)  in check_resctrlfs_support()
572 	res = fgrep(inf, "nodev\tresctrl\n");  in check_resctrlfs_support()
579 	fclose(inf);  in check_resctrlfs_support()
597 char *fgrep(FILE *inf, const char *str)  in fgrep()  argument
602 	while (!feof(inf)) {  in fgrep()
603 		if (!fgets(line, 256, inf))  in fgrep()
622 	FILE *inf = fopen("/proc/cpuinfo", "r");  in validate_resctrl_feature_request()  local
626 	if (!inf)  in validate_resctrl_feature_request()
629 	res = fgrep(inf, "flags");  in validate_resctrl_feature_request()
637 	fclose(inf);  in validate_resctrl_feature_request()