451 	unsigned long userfaults = 0;  in uffd_poll_thread()  local
491 				userfaults++;  in uffd_poll_thread()
510 	return (void *)userfaults;  in uffd_poll_thread()
564 static int stress(unsigned long *userfaults)  in stress()  argument
570 	void **_userfaults = (void **) userfaults;  in stress()
891 	unsigned long userfaults;  in userfaultfd_events_test()  local
938 	if (pthread_join(uffd_mon, (void **)&userfaults))  in userfaultfd_events_test()
942 	printf("userfaults: %ld\n", userfaults);  in userfaultfd_events_test()
944 	return userfaults != nr_pages;  in userfaultfd_events_test()
951 	unsigned long userfaults;  in userfaultfd_sig_test()  local
1003 	if (pthread_join(uffd_mon, (void **)&userfaults))  in userfaultfd_sig_test()
1007 	if (userfaults)  in userfaultfd_sig_test()
1009 			userfaults);  in userfaultfd_sig_test()
1011 	return userfaults != 0;  in userfaultfd_sig_test()
1021 	unsigned long userfaults[nr_cpus];  in userfaultfd_stress()  local
1151 		if (stress(userfaults))  in userfaultfd_stress()
1194 			printf(" %lu", userfaults[cpu]);  in userfaultfd_stress()