Searched refs:kernel_stack_pages (Results 1 – 1 of 1) sorted by relevance
117 uint32_t kernel_stack_pages = atop(KERNEL_STACK_SIZE); in stack_init() local123 &kernel_stack_pages, in stack_init()124 sizeof(kernel_stack_pages))) { in stack_init()125 kernel_stack_size = kernel_stack_pages * PAGE_SIZE; in stack_init()