HelenOS sources

bbxm_get_memory_extents   51 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c static void bbxm_get_memory_extents(uintptr_t *start, size_t *size);
bbxm_get_memory_extents   72 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c 	.machine_get_memory_extents = bbxm_get_memory_extents,