Searched refs:kernel_stack_pages (Results 1 – 1 of 1) sorted by relevance
112 uint32_t kernel_stack_pages = atop(KERNEL_STACK_SIZE); in stack_init() local118 &kernel_stack_pages, in stack_init()119 sizeof(kernel_stack_pages))) { in stack_init()120 kernel_stack_size = kernel_stack_pages * PAGE_SIZE; in stack_init()