user_alloc        190 drivers/misc/lkdtm/usercopy.c 	unsigned long user_alloc;
user_alloc        211 drivers/misc/lkdtm/usercopy.c 	user_alloc = vm_mmap(NULL, 0, PAGE_SIZE,
user_alloc        214 drivers/misc/lkdtm/usercopy.c 	if (user_alloc >= TASK_SIZE) {
user_alloc        218 drivers/misc/lkdtm/usercopy.c 	user_addr = (void __user *)user_alloc;
user_alloc        253 drivers/misc/lkdtm/usercopy.c 	vm_munmap(user_alloc, PAGE_SIZE);