···3344/*55 * User space memory access functions, these should work66- * on a ny machine that has kernel and user data in the same66+ * on any machine that has kernel and user data in the same77 * address space, e.g. all NOMMU machines.88 */99#include <linux/sched.h>