tag	line	file	source code
INIT_STACK	198	arch/alpha/boot/main.c	"r" (PAGE_SIZE + INIT_STACK));
INIT_STACK	134	arch/alpha/mm/init.c	init_task.kernel_stack_page = INIT_STACK;