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,