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

/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dxapic.c102 startup_addr >>= PAGE_BITS; local
H A Dx2apic.c94 startup_addr >>= PAGE_BITS; local
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dhardware.h12 #define PAGE_BITS seL4_PageBits macro
/seL4-test-master/tools/seL4/elfloader-tool/include/
H A Delfloader_common.h14 #define PAGE_BITS 12 macro
/seL4-test-master/kernel/include/arch/x86/arch/machine/
H A Dhardware.h15 #define PAGE_BITS seL4_PageBits macro
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dhardware.h12 #define PAGE_BITS seL4_PageBits macro
/seL4-test-master/kernel/include/arch/riscv/arch/machine/
H A Dhardware.h40 #define PAGE_BITS seL4_PageBits macro

Completed in 50 milliseconds