HelenOS sources

bbone_get_memory_extents   57 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c static void bbone_get_memory_extents(uintptr_t *start, size_t *size);
bbone_get_memory_extents   78 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c 	.machine_get_memory_extents = bbone_get_memory_extents,