raspberrypi_get_memory_extents 61 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c static void raspberrypi_get_memory_extents(uintptr_t *start, size_t *size); raspberrypi_get_memory_extents 79 kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c raspberrypi_get_memory_extents,HelenOS homepage, sources at GitHub