HelenOS sources

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);