Searched refs:PAGE_BITS (Results 1 - 25 of 32) sorted by relevance

12

/seL4-test-master/kernel/include/plat/pc99/plat/machine/
H A Ddevices.h13 #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-test-master/kernel/include/
H A Dbootinfo.h15 #define BI_FRAME_SIZE_BITS PAGE_BITS
/seL4-test-master/tools/seL4/elfloader-tool/include/arch-arm/32/mode/
H A Dstructures.h29 #define GET_PT_INDEX(x) (((x) >> (PAGE_BITS)) & MASK(PT_BITS))
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dhardware.h12 #define PAGE_BITS seL4_PageBits macro
/seL4-test-master/kernel/src/arch/arm/api/
H A Dfaults.c40 ipa = (addressTranslateS1CPR(va) & ~MASK(PAGE_BITS)) | (va & MASK(PAGE_BITS));
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dx2apic.c91 assert(IS_ALIGNED(startup_addr, PAGE_BITS));
94 startup_addr >>= PAGE_BITS; local
H A Dxapic.c99 assert(IS_ALIGNED(startup_addr, PAGE_BITS));
102 startup_addr >>= PAGE_BITS; local
H A Dboot.c137 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);
H A Dboot_sys.c98 v_reg.end = ROUND_UP(v_reg.end, PAGE_BITS);
107 if (!IS_ALIGNED(v_reg.start, PAGE_BITS)) {
111 if (v_reg.end + 2 * BIT(PAGE_BITS) > USER_TOP) {
454 mods_end_paddr = ROUND_UP(mods_end_paddr, PAGE_BITS);
580 avail.end = ROUND_DOWN(avail.start + (mbi->part1.mem_upper << 10), PAGE_BITS);
H A Dvspace.c130 word_t idx = (KDEV_BASE & MASK(LARGE_PAGE_BITS)) >> PAGE_BITS;
146 assert(idx == (PPTR_APIC & MASK(LARGE_PAGE_BITS)) >> PAGE_BITS);
157 assert(idx == ((PPTR_IOAPIC_START + i * BIT(PAGE_BITS)) & MASK(LARGE_PAGE_BITS)) >> PAGE_BITS);
167 assert(idx == ((PPTR_IOAPIC_START + i * BIT(PAGE_BITS)) & MASK(LARGE_PAGE_BITS)) >> PAGE_BITS);
182 assert(idx == ((PPTR_DRHU_START + i * BIT(PAGE_BITS)) & MASK(LARGE_PAGE_BITS)) >> PAGE_BITS);
629 current_lookup_fault = lookup_fault_missing_capability_new(PAGE_BITS + PT_INDEX_BITS);
639 ptIndex = (vptr >> PAGE_BITS)
[all...]
/seL4-test-master/tools/seL4/elfloader-tool/src/
H A Dcommon.c44 #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-test-master/kernel/src/arch/arm/machine/
H A Dhardware.c43 .end = kernel_devices[i].paddr + (1 << PAGE_BITS),
/seL4-test-master/tools/seL4/elfloader-tool/src/arch-arm/
H A Dsys_boot.c27 ALIGN(BIT(PAGE_BITS)) VISIBLE
28 char core_stack_alloc[CONFIG_MAX_NUM_NODES][BIT(PAGE_BITS)];
/seL4-test-master/tools/seL4/elfloader-tool/include/
H A Delfloader_common.h14 #define PAGE_BITS 12 macro
/seL4-test-master/tools/seL4/elfloader-tool/src/arch-arm/32/
H A Dmmu.c65 _lpae_boot_pgd[i] = ((uintptr_t)_lpae_boot_pmd + (i << PAGE_BITS))
/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/x86/arch/machine/
H A Dhardware.h15 #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
/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dioapic.c44 *(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 Dintel-vtd.c95 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-test-master/kernel/include/arch/arm/arch/32/mode/kernel/
H A Dvspace.h15 #define PD_ASID_SLOT (0xff000000 >> (PT_INDEX_BITS + PAGE_BITS))
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dboot.c226 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)
/seL4-test-master/kernel/src/arch/arm/32/machine/
H A Dcapdl.c15 #define PT_INDEX(vptr) ((vptr >> PAGE_BITS) & MASK(PT_INDEX_BITS))
16 #define PD_INDEX(vptr) (vptr >> (PAGE_BITS + PT_INDEX_BITS))
118 while (i < BIT(PT_INDEX_BITS + PAGE_BITS)) {
407 while (i < BIT(PT_INDEX_BITS + PAGE_BITS)) {
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c305 while (idx < (KDEV_BASE &MASK(LARGE_PAGE_BITS)) >> PAGE_BITS) {
424 word_t n = get_n_paging(it_v_reg, PT_INDEX_BITS + PAGE_BITS);
448 for (vptr = ROUND_DOWN(it_v_reg.start, PT_INDEX_BITS + PAGE_BITS);
450 vptr += BIT(PT_INDEX_BITS + PAGE_BITS)) {
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c330 for (idx = 0; idx < (USER_TOP - 0xC0000000) >> (PT_INDEX_BITS + PAGE_BITS); idx++) {
351 phys += BIT(PT_INDEX_BITS + PAGE_BITS);
374 phys += BIT(PAGE_BITS);
411 idx = (seL4_GlobalsFrame >> PAGE_BITS) & (MASK(PT_INDEX_BITS));
528 return get_n_paging(it_v_reg, PT_INDEX_BITS + PAGE_BITS);
553 for (pt_vptr = ROUND_DOWN(it_v_reg.start, PT_INDEX_BITS + PAGE_BITS);
555 pt_vptr += BIT(PT_INDEX_BITS + PAGE_BITS)) {
729 pdIndex = vptr >> (PAGE_BITS + PT_INDEX_BITS);
741 current_lookup_fault = lookup_fault_missing_capability_new(PT_INDEX_BITS + PAGE_BITS);
751 ptIndex = (vptr >> PAGE_BITS)
[all...]

Completed in 142 milliseconds

12