#include #include #include #include #include void vm_zone_init(vm_zone_t *z, const char *name, uintptr_t base, uintptr_t limit) { memset(z, 0x0, sizeof *z); z->z_name = name; phys_addr_t block_start = 0; int last_page_reserved = -1; for (uintptr_t i = base; i < limit; i += VM_PAGE_SIZE) { vm_page_t *pg = vm_page_get(i); if (!pg) { break; } int this_page_reserved = (pg->p_flags & VM_PAGE_RESERVED) ? 1 : 0; if (last_page_reserved == -1) { last_page_reserved = this_page_reserved; } if (this_page_reserved == last_page_reserved) { continue; } printf("%s: %zu %s pages at %" PRIxPTR "\n", name, (i - block_start) / VM_PAGE_SIZE, this_page_reserved == 1 ? "reserved" : "free", block_start); block_start = i; vm_page_order_t order = VM_PAGE_MAX_ORDER; last_page_reserved = this_page_reserved; } }