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

/seL4-camkes-master/tools/rumprun/platform/sel4/include/arch/arm/
H A Dpcpu.h15 #define BMK_PCPU_PAGE_SHIFT 12UL macro
/seL4-camkes-master/tools/rumprun/platform/sel4/include/arch/i386/
H A Dpcpu.h15 #define BMK_PCPU_PAGE_SHIFT 12UL macro
/seL4-camkes-master/tools/rumprun/platform/sel4/include/arch/x86_64/
H A Dpcpu.h15 #define BMK_PCPU_PAGE_SHIFT 12UL macro
/seL4-camkes-master/tools/rumprun/platform/hw/include/arch/arm/
H A Dpcpu.h4 #define BMK_PCPU_PAGE_SHIFT 12UL macro
/seL4-camkes-master/tools/rumprun/platform/hw/include/arch/i386/
H A Dpcpu.h4 #define BMK_PCPU_PAGE_SHIFT 12UL macro
/seL4-camkes-master/tools/rumprun/platform/hw/include/arch/x86_64/
H A Dpcpu.h4 #define BMK_PCPU_PAGE_SHIFT 12UL macro
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/
H A Dpcpu.h4 #define BMK_PCPU_PAGE_SHIFT 12UL macro

Completed in 33 milliseconds