taglinefilesource code
free_kernel_stack54include/asm-alpha/processor.h#define free_kernel_stack(page) free_page((page))
free_kernel_stack131include/asm-i386/processor.h#define free_kernel_stack(page) free_page((page))