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