tag	line	file	source code
esp_ptr	61	kernel/traps.c	/*static*/ void die_if_kernel(char * str,long esp_ptr,long nr)
esp_ptr	63	kernel/traps.c	long * esp = (long *) esp_ptr;