Searched defs:x86_32_kernel_stack (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/kernel/arch/x86_32/
H A Dinit.c71 uintptr_t x86_32_kernel_stack[X86_32_KERNEL_STACK_SIZE/sizeof(uintptr_t)]; variable

Completed in 27 milliseconds