BOOTINFO_OFFSET 44 boot/arch/mips32/src/main.c static bootinfo_t *bootinfo = (bootinfo_t *) PA2KA(BOOTINFO_OFFSET); BOOTINFO_OFFSET 57 boot/arch/mips32/src/main.c (void *) PA2KA(BOOTINFO_OFFSET), (void *) BOOTINFO_OFFSET);HelenOS homepage, sources at GitHub