icp_get_memory_extents 105 kernel/arch/arm32/include/arch/mach/integratorcp/integratorcp.h extern void icp_get_memory_extents(uintptr_t *, size_t *); icp_get_memory_extents 70 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c icp_get_memory_extents,HelenOS homepage, sources at GitHub