|
Kintsugi OS 0.5.0
x86 Monolithic OS
|
#include <memory.h>
Public Attributes | |
| u32 | managed_pages |
| u32 | free_pages |
| u32 | allocated_pages |
| u32 | reserved_pages |
| u32 | usable_kib |
| u32 | mapped_pages |
| u32 | map_entries |
| u32 memory_stats_t::allocated_pages |
| u32 memory_stats_t::free_pages |
| u32 memory_stats_t::managed_pages |
| u32 memory_stats_t::map_entries |
| u32 memory_stats_t::mapped_pages |
| u32 memory_stats_t::reserved_pages |
| u32 memory_stats_t::usable_kib |