// check_vmm - check correctness of vmm static void check_vmm(void) { size_t nr_free_pages_store = nr_free_pages(); check_vma_struct(); check_pgfault(); cprintf("check_vmm() succeeded.\n"); }
// check_vmm - check correctness of vmm static void check_vmm(void) { size_t nr_used_pages_store = nr_used_pages(); size_t slab_allocated_store = slab_allocated(); check_vma_struct(); check_pgfault(); __CHECK_MEMORY_LEAK(); kprintf("check_vmm() succeeded.\n"); }
// check_vmm - check correctness of vmm static void check_vmm(void) { size_t nr_free_pages_store = nr_free_pages(); size_t slab_allocated_store = slab_allocated(); check_vma_struct(); check_pgfault(); assert(nr_free_pages_store == nr_free_pages()); assert(slab_allocated_store == slab_allocated()); cprintf("check_vmm() succeeded.\n"); }