machine_get_memory_extents 91 kernel/arch/arm32/src/machine_func.c void machine_get_memory_extents(uintptr_t *start, size_t *size) machine_get_memory_extents 79 kernel/arch/mips32/src/machine_func.c void machine_get_memory_extents(uintptr_t *start, size_t *size)HelenOS homepage, sources at GitHub