get_vma_size
FAIL_TEST_IF_FALSE(get_vma_size(ptr + page_size, &prot) > 0);
size = get_vma_size(ptr + page_size, &prot);
size = get_vma_size(ptr + page_size, &prot);
size = get_vma_size(ptr, &prot);
size = get_vma_size(ptr + page_size * 3, &prot);
size = get_vma_size(ptr, &prot);
size = get_vma_size(ptr + page_size * 3, &prot);
size = get_vma_size(ptr + page_size, &prot);
size = get_vma_size(ptr + page_size, &prot);
size = get_vma_size(ptr + 2 * page_size, &prot);
size = get_vma_size(ptr + 22 * page_size, &prot);
size = get_vma_size(ptr + 2 * page_size, &prot);
size = get_vma_size(ptr + page_size, &prot);
size = get_vma_size(ptr + 21 * page_size, &prot);
size = get_vma_size(ptr + 1 * page_size, &prot);
size = get_vma_size(ptr + 20 * page_size, &prot);
size = get_vma_size(ptr + page_size, &prot);
size = get_vma_size(ptr, &prot);
FAIL_TEST_IF_FALSE(get_vma_size(ptr + page_size, &prot) > 0);