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

/seL4-refos-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-refos-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dhardware.h12 #define PAGE_BITS seL4_PageBits macro
/seL4-refos-master/seL4_tools/elfloader-tool/include/
H A Delfloader_common.h14 #define PAGE_BITS 12 macro
/seL4-refos-master/tools/elfloader/include/
H A Delfloader_common.h14 #define PAGE_BITS 12 macro
/seL4-refos-master/kernel/include/arch/x86/arch/machine/
H A Dhardware.h15 #define PAGE_BITS seL4_PageBits macro
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dhardware.h12 #define PAGE_BITS seL4_PageBits macro
/seL4-refos-master/kernel/include/arch/riscv/arch/machine/
H A Dhardware.h40 #define PAGE_BITS seL4_PageBits macro

Completed in 51 milliseconds