HelenOS sources
AP_BOOT_OFFSET 100 kernel/arch/amd64/src/amd64.c memcpy((void *) AP_BOOT_OFFSET, (void *) BOOT_OFFSET, unmapped_size);
AP_BOOT_OFFSET 158 kernel/arch/amd64/src/mm/frame.c ADDR2PFN(AP_BOOT_OFFSET + unmapped_size));
AP_BOOT_OFFSET 168 kernel/arch/amd64/src/mm/frame.c frame_mark_unavailable(AP_BOOT_OFFSET >> FRAME_WIDTH,
AP_BOOT_OFFSET 100 kernel/arch/ia32/src/ia32.c memcpy((void *) AP_BOOT_OFFSET, (void *) BOOT_OFFSET, unmapped_size);
AP_BOOT_OFFSET 158 kernel/arch/ia32/src/mm/frame.c ADDR2PFN(AP_BOOT_OFFSET + unmapped_size));
AP_BOOT_OFFSET 168 kernel/arch/ia32/src/mm/frame.c frame_mark_unavailable(AP_BOOT_OFFSET >> FRAME_WIDTH,
HelenOS homepage, sources at GitHub