HelenOS sources

RPI_MEMORY_SKIP   144 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 		*start = mbase + RPI_MEMORY_SKIP;
RPI_MEMORY_SKIP   145 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 		*size  = msize - RPI_MEMORY_SKIP;
RPI_MEMORY_SKIP   148 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 		*start = RPI_DEFAULT_MEMORY_START + RPI_MEMORY_SKIP;
RPI_MEMORY_SKIP   149 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c 		*size  = RPI_DEFAULT_MEMORY_SIZE - RPI_MEMORY_SKIP;