tag	line	file	source code
fs_pointer	157	fs/select.c	static int __get_fd_set(int nr, unsigned int * fs_pointer, fd_set * fdset)
fs_pointer	163	fs/select.c	if (!fs_pointer)
fs_pointer	165	fs/select.c	error = verify_area(VERIFY_WRITE,fs_pointer,sizeof(fd_set));
fs_pointer	172	fs/select.c	*tmp = get_user(fs_pointer);
fs_pointer	174	fs/select.c	fs_pointer++;
fs_pointer	180	fs/select.c	static void __set_fd_set(int nr, unsigned int * fs_pointer, unsigned int * fdset)
fs_pointer	184	fs/select.c	if (!fs_pointer)
fs_pointer	189	fs/select.c	put_user(*fdset, fs_pointer);
fs_pointer	191	fs/select.c	fs_pointer++;