| /seL4-refos-master/kernel/include/plat/pc99/plat/machine/ |
| H A D | devices.h | 13 #define PPTR_IOAPIC_START (PPTR_APIC + BIT(PAGE_BITS))
14 #define PPTR_DRHU_START (PPTR_IOAPIC_START + BIT(PAGE_BITS) * CONFIG_MAX_NUM_IOAPIC)
16 #define MAX_NUM_DRHU ((-PPTR_DRHU_START) >> PAGE_BITS)
|
| /seL4-refos-master/kernel/include/ |
| H A D | bootinfo.h | 15 #define BI_FRAME_SIZE_BITS PAGE_BITS
|
| /seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/32/mode/ |
| H A D | structures.h | 29 #define GET_PT_INDEX(x) (((x) >> (PAGE_BITS)) & MASK(PT_BITS))
|
| /seL4-refos-master/tools/elfloader/include/arch-arm/32/mode/ |
| H A D | structures.h | 29 #define GET_PT_INDEX(x) (((x) >> (PAGE_BITS)) & MASK(PT_BITS))
|
| /seL4-refos-master/kernel/include/arch/arm/arch/64/mode/machine/ |
| H A D | hardware.h | 12 #define PAGE_BITS seL4_PageBits macro
|
| /seL4-refos-master/kernel/src/arch/arm/api/ |
| H A D | faults.c | 40 ipa = (addressTranslateS1CPR(va) & ~MASK(PAGE_BITS)) | (va & MASK(PAGE_BITS));
|
| /seL4-refos-master/kernel/src/arch/x86/kernel/ |
| H A D | x2apic.c | 91 assert(IS_ALIGNED(startup_addr, PAGE_BITS));
94 startup_addr >>= PAGE_BITS; local
|
| H A D | xapic.c | 99 assert(IS_ALIGNED(startup_addr, PAGE_BITS));
102 startup_addr >>= PAGE_BITS; local
|
| H A D | boot.c | 137 bi_frame_vptr = ipcbuf_vptr + BIT(PAGE_BITS);
138 extra_bi_frame_vptr = bi_frame_vptr + BIT(PAGE_BITS);
159 it_v_reg.end = ROUND_UP(extra_bi_frame_vptr + BIT(extra_bi_size_bits), PAGE_BITS);
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/ |
| H A D | common.c | 44 #define KEEP_HEADERS_SIZE BIT(PAGE_BITS)
121 *max_vaddr = ROUND_UP(*max_vaddr, PAGE_BITS);
140 if (!IS_ALIGNED(dest_paddr, PAGE_BITS)) {
210 if (!IS_ALIGNED(min_vaddr, PAGE_BITS)) {
230 dest_paddr = ROUND_UP(dest_paddr + image_size, PAGE_BITS);
343 next_phys_addr = dtb_phys_start = ROUND_UP(kernel_phys_end, PAGE_BITS);
357 next_phys_addr = ROUND_UP(next_phys_addr, PAGE_BITS);
364 next_phys_addr = ROUND_UP(kernel_phys_end, PAGE_BITS);
406 next_phys_addr = ROUND_DOWN(memory_region[0].end, PAGE_BITS) - ROUND_UP(total_user_image_size, PAGE_BITS);
[all...] |
| /seL4-refos-master/tools/elfloader/src/ |
| H A D | common.c | 44 #define KEEP_HEADERS_SIZE BIT(PAGE_BITS)
121 *max_vaddr = ROUND_UP(*max_vaddr, PAGE_BITS);
140 if (!IS_ALIGNED(dest_paddr, PAGE_BITS)) {
210 if (!IS_ALIGNED(min_vaddr, PAGE_BITS)) {
230 dest_paddr = ROUND_UP(dest_paddr + image_size, PAGE_BITS);
343 next_phys_addr = dtb_phys_start = ROUND_UP(kernel_phys_end, PAGE_BITS);
357 next_phys_addr = ROUND_UP(next_phys_addr, PAGE_BITS);
364 next_phys_addr = ROUND_UP(kernel_phys_end, PAGE_BITS);
406 next_phys_addr = ROUND_DOWN(memory_region[0].end, PAGE_BITS) - ROUND_UP(total_user_image_size, PAGE_BITS);
[all...] |
| /seL4-refos-master/kernel/src/arch/arm/machine/ |
| H A D | hardware.c | 43 .end = kernel_devices[i].paddr + (1 << PAGE_BITS),
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/ |
| H A D | sys_boot.c | 27 ALIGN(BIT(PAGE_BITS)) VISIBLE
28 char core_stack_alloc[CONFIG_MAX_NUM_NODES][BIT(PAGE_BITS)];
|
| /seL4-refos-master/tools/elfloader/src/arch-arm/ |
| H A D | sys_boot.c | 27 ALIGN(BIT(PAGE_BITS)) VISIBLE
28 char core_stack_alloc[CONFIG_MAX_NUM_NODES][BIT(PAGE_BITS)];
|
| /seL4-refos-master/seL4_tools/elfloader-tool/include/ |
| H A D | elfloader_common.h | 14 #define PAGE_BITS 12 macro
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/32/ |
| H A D | mmu.c | 65 _lpae_boot_pgd[i] = ((uintptr_t)_lpae_boot_pmd + (i << PAGE_BITS))
|
| /seL4-refos-master/tools/elfloader/include/ |
| H A D | elfloader_common.h | 14 #define PAGE_BITS 12 macro
|
| /seL4-refos-master/tools/elfloader/src/arch-arm/32/ |
| H A D | mmu.c | 65 _lpae_boot_pgd[i] = ((uintptr_t)_lpae_boot_pmd + (i << PAGE_BITS))
|
| /seL4-refos-master/kernel/include/arch/arm/arch/32/mode/machine/ |
| H A D | hardware.h | 12 #define PAGE_BITS seL4_PageBits macro
|
| /seL4-refos-master/kernel/include/arch/x86/arch/machine/ |
| H A D | hardware.h | 15 #define PAGE_BITS seL4_PageBits macro
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/machine/ |
| H A D | hardware.h | 40 #define PAGE_BITS seL4_PageBits macro
|
| /seL4-refos-master/kernel/src/plat/pc99/machine/ |
| H A D | ioapic.c | 44 *(volatile uint32_t *)((word_t)(PPTR_IOAPIC_START + ioapic * BIT(PAGE_BITS)) + reg) = value;
49 return *(volatile uint32_t *)((word_t)(PPTR_IOAPIC_START + ioapic * BIT(PAGE_BITS)) + reg);
|
| H A D | intel-vtd.c | 95 return *(volatile uint32_t *)(PPTR_DRHU_START + (drhu_id << PAGE_BITS) + offset);
100 *(volatile uint32_t *)(PPTR_DRHU_START + (drhu_id << PAGE_BITS) + offset) = value;
106 return *(volatile uint64_t *)(PPTR_DRHU_START + (drhu_id << PAGE_BITS) + offset);
111 *(volatile uint64_t *)(PPTR_DRHU_START + (drhu_id << PAGE_BITS) + offset) = value;
|
| /seL4-refos-master/kernel/include/arch/arm/arch/32/mode/kernel/ |
| H A D | vspace.h | 15 #define PD_ASID_SLOT (0xff000000 >> (PT_INDEX_BITS + PAGE_BITS))
|
| /seL4-refos-master/kernel/src/arch/riscv/kernel/ |
| H A D | boot.c | 226 bi_frame_vptr = ipcbuf_vptr + BIT(PAGE_BITS);
227 extra_bi_frame_vptr = bi_frame_vptr + BIT(PAGE_BITS);
231 dtb_addr_start, ROUND_UP(dtb_addr_end, PAGE_BITS)
|