HelenOS sources

CPUMAP_OFFSET      45 boot/arch/mips32/src/main.c static uint32_t *cpumap = (uint32_t *) PA2KA(CPUMAP_OFFSET);
CPUMAP_OFFSET      52 boot/arch/mips32/src/main.c 	printf(" %p|%p: CPU map\n", (void *) PA2KA(CPUMAP_OFFSET),
CPUMAP_OFFSET      53 boot/arch/mips32/src/main.c 	    (void *) CPUMAP_OFFSET);