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

/seL4-camkes-master/tools/rumprun/platform/sel4/include/arch/arm/
H A Dmd.h15 #define BMK_THREAD_STACK_PAGE_ORDER 1 macro
/seL4-camkes-master/tools/rumprun/platform/sel4/include/arch/i386/
H A Dmd.h15 #define BMK_THREAD_STACK_PAGE_ORDER 1 macro
/seL4-camkes-master/tools/rumprun/platform/sel4/include/arch/x86_64/
H A Dmd.h16 #define BMK_THREAD_STACK_PAGE_ORDER 3 macro
/seL4-camkes-master/tools/rumprun/platform/hw/include/arch/i386/
H A Dmd.h8 #define BMK_THREAD_STACK_PAGE_ORDER 1 macro
/seL4-camkes-master/tools/rumprun/platform/hw/include/arch/x86_64/
H A Dmd.h8 #define BMK_THREAD_STACK_PAGE_ORDER 3 macro
/seL4-camkes-master/tools/rumprun/platform/hw/include/arch/arm/
H A Dmd.h9 #define BMK_THREAD_STACK_PAGE_ORDER 1 macro

Completed in 37 milliseconds