#1416: Use Carpet memory statistics in SystemStatistics -----------------------------------+---------------------------------------- Reporter: eschnett | Owner: Type: enhancement | Status: new Priority: major | Milestone: Component: EinsteinToolkit thorn | Version: development version Keywords: | -----------------------------------+---------------------------------------- Call Driver_TotalMemoryUsed from SystemStatistics, so that this information can be output together with the malloc statistics obtained from the operating system.