tag	line	file	source code
user_esp	71	include/linux/mm.h	struct task_struct *tsk, unsigned long user_esp);
user_esp	73	include/linux/mm.h	struct task_struct *tsk, unsigned long user_esp);
user_esp	488	mm/memory.c	struct task_struct * tsk, unsigned long user_esp)
user_esp	664	mm/memory.c	struct task_struct *tsk, unsigned long user_esp)
user_esp	723	mm/memory.c	if (tmp+8192 >= (user_esp & 0xfffff000))
user_esp	814	mm/memory.c	unsigned long user_esp;
user_esp	817	mm/memory.c	user_esp = esp[3];
user_esp	819	mm/memory.c	user_esp = 0;
user_esp	823	mm/memory.c	do_no_page(error_code, address, current, user_esp);
user_esp	826	mm/memory.c	do_wp_page(error_code, address, current, user_esp);