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

/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dinit.c50 uintptr_t kernel_stack[KERNEL_STACK_SIZE/sizeof(uintptr_t)] variable
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dinit.c45 lpaddr_t kernel_stack = 0; variable
/barrelfish-2018-10-04/tools/fastmodels/
H A Dconfig.h46 uint64_t kernel_stack; member in struct:config

Completed in 54 milliseconds