HelenOS sources
PA2KA 95 boot/arch/arm32/src/main.c (void *) PA2KA(BOOT_OFFSET), (void *) BOOT_OFFSET);
PA2KA 102 boot/arch/arm32/src/main.c PA2KA(kernel_dest), clean_dcache_poc);
PA2KA 107 boot/arch/arm32/src/main.c uintptr_t entry = check_kernel((void *) PA2KA(BOOT_OFFSET));
PA2KA 53 boot/arch/mips32/include/arch/arch.h #define YAMON_SUBR_BASE PA2KA(0x1fc00500)
PA2KA 44 boot/arch/mips32/src/main.c static bootinfo_t *bootinfo = (bootinfo_t *) PA2KA(BOOTINFO_OFFSET);
PA2KA 45 boot/arch/mips32/src/main.c static uint32_t *cpumap = (uint32_t *) PA2KA(CPUMAP_OFFSET);
PA2KA 52 boot/arch/mips32/src/main.c printf(" %p|%p: CPU map\n", (void *) PA2KA(CPUMAP_OFFSET),
PA2KA 54 boot/arch/mips32/src/main.c printf(" %p|%p: bootstrap stack\n", (void *) PA2KA(STACK_OFFSET),
PA2KA 57 boot/arch/mips32/src/main.c (void *) PA2KA(BOOTINFO_OFFSET), (void *) BOOTINFO_OFFSET);
PA2KA 58 boot/arch/mips32/src/main.c printf(" %p|%p: kernel entry point\n", (void *) PA2KA(BOOT_OFFSET),
PA2KA 61 boot/arch/mips32/src/main.c (void *) PA2KA(LOADER_OFFSET), (void *) LOADER_OFFSET);
PA2KA 63 boot/arch/mips32/src/main.c uint8_t *kernel_start = (uint8_t *) PA2KA(BOOT_OFFSET);
PA2KA 120 boot/arch/ppc32/src/main.c inflate_base + unpacked_size, PA2KA(0), NULL);
PA2KA 123 boot/arch/ppc32/src/main.c balloc_init(&bootinfo.ballocs, balloc_base, PA2KA(balloc_start),
PA2KA 56 boot/arch/riscv64/src/main.c (volatile uint64_t *) PA2KA((uintptr_t) &tohost);
PA2KA 58 boot/arch/riscv64/src/main.c (volatile uint64_t *) PA2KA((uintptr_t) &fromhost);
PA2KA 72 boot/arch/riscv64/src/main.c uintptr_t kernel_addr = PA2KA(load_addr);
PA2KA 94 boot/arch/riscv64/src/main.c jump_to_kernel(PA2KA(&bootinfo), entry);
PA2KA 68 kernel/arch/amd64/src/mm/page.c page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, identity_flags);
PA2KA 430 kernel/arch/amd64/src/smp/mps.c uint8_t *addr[2] = { NULL, (uint8_t *) PA2KA(0xf0000) };
PA2KA 442 kernel/arch/amd64/src/smp/mps.c addr[0] = (uint8_t *) PA2KA(ebda ? ebda : 639 * 1024);
PA2KA 464 kernel/arch/amd64/src/smp/mps.c ct = (struct mps_ct *) PA2KA((uintptr_t) fs->configuration_table);
PA2KA 121 kernel/arch/amd64/src/smp/smp.c *((uint16_t *) (PA2KA(0x467 + 0))) =
PA2KA 123 kernel/arch/amd64/src/smp/smp.c *((uint16_t *) (PA2KA(0x467 + 2))) = 0; /* offset */
PA2KA 67 kernel/arch/arm32/src/mm/page.c page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags);
PA2KA 127 kernel/arch/arm64/src/mach/hikey960/hikey960.c PA2KA(HIKEY960_UART_ADDRESS);
PA2KA 129 kernel/arch/arm64/src/mach/hikey960/hikey960.c PA2KA(HIKEY960_UART_ADDRESS + 24);
PA2KA 56 kernel/arch/arm64/src/mm/page.c page_mapping_insert(AS_KERNEL, PA2KA(addr), addr,
PA2KA 72 kernel/arch/ia32/src/mm/page.c page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags);
PA2KA 430 kernel/arch/ia32/src/smp/mps.c uint8_t *addr[2] = { NULL, (uint8_t *) PA2KA(0xf0000) };
PA2KA 442 kernel/arch/ia32/src/smp/mps.c addr[0] = (uint8_t *) PA2KA(ebda ? ebda : 639 * 1024);
PA2KA 464 kernel/arch/ia32/src/smp/mps.c ct = (struct mps_ct *) PA2KA((uintptr_t) fs->configuration_table);
PA2KA 121 kernel/arch/ia32/src/smp/smp.c *((uint16_t *) (PA2KA(0x467 + 0))) =
PA2KA 123 kernel/arch/ia32/src/smp/smp.c *((uint16_t *) (PA2KA(0x467 + 2))) = 0; /* offset */
PA2KA 107 kernel/arch/ia64/src/mm/frame.c end_of_identity = PA2KA(config.physmem_end - FRAME_SIZE) + PAGE_SIZE;
PA2KA 49 kernel/arch/ia64/src/mm/vhpt.c vhpt_base = (vhpt_entry_t *) PA2KA(vhpt_frame);
PA2KA 100 kernel/arch/ppc32/src/mm/pht.c phte_t *phte = (phte_t *) PA2KA(sdr1 & 0xffff0000);
PA2KA 205 kernel/arch/ppc32/src/mm/pht.c phte_t *phte = (phte_t *) PA2KA(sdr1 & 0xffff0000);
PA2KA 57 kernel/arch/ppc32/src/mm/tlb.c if ((badvaddr < PA2KA(0)) || (badvaddr >= PA2KA(physmem)))
PA2KA 63 kernel/arch/riscv64/src/mm/page.c page_mapping_insert(AS_KERNEL, PA2KA(cur), cur,
PA2KA 70 kernel/arch/sparc64/src/mm/sun4u/as.c tsb_entry_t *tsb = (tsb_entry_t *) PA2KA(tsb_base);
PA2KA 104 kernel/arch/sparc64/src/mm/sun4u/frame.c end_of_identity = PA2KA(config.physmem_end - FRAME_SIZE) + PAGE_SIZE;
PA2KA 73 kernel/arch/sparc64/src/mm/sun4v/as.c tsb_entry_t *tsb = (tsb_entry_t *) PA2KA(tsb_base);
PA2KA 125 kernel/arch/sparc64/src/mm/sun4v/as.c uintptr_t tsb = PA2KA(as->arch.tsb_description.tsb_base);
PA2KA 165 kernel/arch/sparc64/src/mm/sun4v/as.c uintptr_t tsb = PA2KA(as->arch.tsb_description.tsb_base);
PA2KA 104 kernel/arch/sparc64/src/mm/sun4v/frame.c end_of_identity = PA2KA(config.physmem_end - FRAME_SIZE) + PAGE_SIZE;
PA2KA 71 kernel/arch/sparc64/src/mm/sun4v/tsb.c tsb = (tsb_entry_t *) PA2KA(as->arch.tsb_description.tsb_base);
PA2KA 90 kernel/arch/sparc64/src/mm/sun4v/tsb.c tsb = (tsb_entry_t *) PA2KA(as->arch.tsb_description.tsb_base);
PA2KA 136 kernel/arch/sparc64/src/mm/sun4v/tsb.c tsb = (tsb_entry_t *) PA2KA(as->arch.tsb_description.tsb_base);
PA2KA 195 kernel/genarch/src/acpi/acpi.c rsdp = search_rsdp((uint8_t *) PA2KA(ebda), 1024);
PA2KA 198 kernel/genarch/src/acpi/acpi.c rsdp = search_rsdp((uint8_t *) PA2KA(0xe0000), 128 * 1024);
PA2KA 76 kernel/genarch/src/mm/as_pt.c PA2KA(frame_alloc(PTL0_FRAMES, FRAME_LOWMEM, PTL0_SIZE - 1));
PA2KA 88 kernel/genarch/src/mm/as_pt.c (pte_t *) PA2KA((uintptr_t) AS_KERNEL->genarch.page_table);
PA2KA 82 kernel/genarch/src/mm/page_pt.c pte_t *ptl0 = (pte_t *) PA2KA((uintptr_t) as->genarch.page_table);
PA2KA 88 kernel/genarch/src/mm/page_pt.c PA2KA(frame_alloc(PTL1_FRAMES, FRAME_LOWMEM, PTL1_SIZE - 1));
PA2KA 103 kernel/genarch/src/mm/page_pt.c pte_t *ptl1 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page)));
PA2KA 107 kernel/genarch/src/mm/page_pt.c PA2KA(frame_alloc(PTL2_FRAMES, FRAME_LOWMEM, PTL2_SIZE - 1));
PA2KA 120 kernel/genarch/src/mm/page_pt.c pte_t *ptl2 = (pte_t *) PA2KA(GET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page)));
PA2KA 124 kernel/genarch/src/mm/page_pt.c PA2KA(frame_alloc(PTL3_FRAMES, FRAME_LOWMEM, PTL2_SIZE - 1));
PA2KA 137 kernel/genarch/src/mm/page_pt.c pte_t *ptl3 = (pte_t *) PA2KA(GET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page)));
PA2KA 168 kernel/genarch/src/mm/page_pt.c pte_t *ptl0 = (pte_t *) PA2KA((uintptr_t) as->genarch.page_table);
PA2KA 172 kernel/genarch/src/mm/page_pt.c pte_t *ptl1 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page)));
PA2KA 176 kernel/genarch/src/mm/page_pt.c pte_t *ptl2 = (pte_t *) PA2KA(GET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page)));
PA2KA 180 kernel/genarch/src/mm/page_pt.c pte_t *ptl3 = (pte_t *) PA2KA(GET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page)));
PA2KA 298 kernel/genarch/src/mm/page_pt.c pte_t *ptl0 = (pte_t *) PA2KA((uintptr_t) as->genarch.page_table);
PA2KA 304 kernel/genarch/src/mm/page_pt.c pte_t *ptl1 = (pte_t *) PA2KA(GET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page)));
PA2KA 315 kernel/genarch/src/mm/page_pt.c pte_t *ptl2 = (pte_t *) PA2KA(GET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page)));
PA2KA 326 kernel/genarch/src/mm/page_pt.c pte_t *ptl3 = (pte_t *) PA2KA(GET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page)));
PA2KA 403 kernel/genarch/src/mm/page_pt.c uintptr_t ptl0 = PA2KA((uintptr_t) AS_KERNEL->genarch.page_table);
PA2KA 429 kernel/genarch/src/mm/page_pt.c uintptr_t l1 = PA2KA(frame_alloc(frames, FRAME_LOWMEM, 0));
PA2KA 83 kernel/generic/src/cpu/cpu.c cpus[i].local.stack = (uint8_t *) PA2KA(stack_phys);
PA2KA 603 kernel/generic/src/mm/frame.c zone_merge_internal(z1, z2, &old_z1, (void *) PA2KA(PFN2ADDR(pfn)));
PA2KA 784 kernel/generic/src/mm/frame.c void *confdata = (void *) PA2KA(PFN2ADDR(confframe));
PA2KA 265 kernel/generic/src/mm/km.c page = PA2KA(frame);
PA2KA 170 kernel/generic/src/mm/slab.c void *data = (void *) PA2KA(data_phys);
PA2KA 153 kernel/generic/src/proc/thread.c thread->kstack = (uint8_t *) PA2KA(stack_phys);
PA2KA 82 kernel/generic/src/time/clock.c uptime = (uptime_t *) PA2KA(faddr);
PA2KA 72 kernel/test/mm/falloc2.c memsetb((void *) PA2KA(frames[allocated]), bytes, val);
PA2KA 86 kernel/test/mm/falloc2.c if (((uint8_t *) PA2KA(frames[i]))[k] != val) {
PA2KA 89 kernel/test/mm/falloc2.c THREAD->tid, CPU->id, ((char *) PA2KA(frames[i]))[k],
HelenOS homepage, sources at GitHub