1// SPDX-License-Identifier: GPL-3.0-or-later
2
3#pragma once
4
5#include "mos/mm/paging/pml_types.h"
6
7void pml1_free(pml1_t pml1);
8
9void pml1_traverse(pml1_t pml1, ptr_t *vaddr, size_t *n_pages, pagetable_walk_options_t callback, void *data);
10
11__nodiscard bool pml1_destroy_range(pml1_t pml1, ptr_t *vaddr, size_t *n_pages);
12
13pml1e_t *pml1_entry(pml1_t pml1, ptr_t vaddr);
14
15bool pml1e_is_present(const pml1e_t *pml1e);
16
17pfn_t pml1e_get_pfn(const pml1e_t *pml1e);
18