taglinefilesource code
INIT_STACK199arch/alpha/boot/main.c"r" (PAGE_SIZE + INIT_STACK));
INIT_STACK135arch/alpha/mm/init.cinit_task.kernel_stack_page = INIT_STACK;