Beispiel #1
0
// 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");
}
Beispiel #2
0
// 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");
}
Beispiel #3
0
// 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");
}