Searched refs:KERNEL_STACK_ALIGNMENT (Results 1 - 8 of 8) sorted by relevance

/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/kernel/
H A Dstack.h19 #define KERNEL_STACK_ALIGNMENT 4096 macro
21 #define KERNEL_STACK_ALIGNMENT 16 macro
/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/kernel/
H A Dstack.h18 #define KERNEL_STACK_ALIGNMENT 16 macro
/seL4-mcs-10.1.1/include/arch/arm/arch/64/mode/kernel/
H A Dstack.h19 #define KERNEL_STACK_ALIGNMENT 4096 macro
/seL4-mcs-10.1.1/include/arch/riscv/arch/32/mode/kernel/
H A Dstack.h24 #define KERNEL_STACK_ALIGNMENT 4 macro
/seL4-mcs-10.1.1/include/arch/riscv/arch/64/mode/kernel/
H A Dstack.h24 #define KERNEL_STACK_ALIGNMENT 8 macro
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/kernel/
H A Dstack.h18 #define KERNEL_STACK_ALIGNMENT 16 macro
/seL4-mcs-10.1.1/src/kernel/
H A Dstack.c14 VISIBLE ALIGN(KERNEL_STACK_ALIGNMENT)
/seL4-mcs-10.1.1/include/arch/arm/arch/64/mode/smp/
H A Dsmp.h27 compile_assert(kernel_stack_4k_aligned, KERNEL_STACK_ALIGNMENT == 4096)
29 #define CPUID_MASK (KERNEL_STACK_ALIGNMENT - 1)

Completed in 6715 milliseconds