HelenOS sources

STACK_OFFSET       54 boot/arch/mips32/src/main.c 	printf(" %p|%p: bootstrap stack\n", (void *) PA2KA(STACK_OFFSET),
STACK_OFFSET       55 boot/arch/mips32/src/main.c 	    (void *) STACK_OFFSET);