diff options
| author | Ian Moffett <ian@osmora.org> | 2024-03-17 20:59:31 -0400 |
|---|---|---|
| committer | Ian Moffett <ian@osmora.org> | 2024-03-17 20:59:31 -0400 |
| commit | 0776264c266e7c1619b8b8b84d2da5384979bb3c (patch) | |
| tree | 80b6ded012336e24c72cc2c16e4c3ce952b7b739 /sys/include/vm/pmap.h | |
| parent | 7895aaff402a021a1b04645ca8d251f760e5662e (diff) | |
| parent | 2896f4126de2ee0fd1bab4b960bfb2213c359f18 (diff) | |
Merge branch 'user' into dev
Diffstat (limited to 'sys/include/vm/pmap.h')
| -rw-r--r-- | sys/include/vm/pmap.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/sys/include/vm/pmap.h b/sys/include/vm/pmap.h index ebabd32..3380199 100644 --- a/sys/include/vm/pmap.h +++ b/sys/include/vm/pmap.h @@ -90,6 +90,12 @@ struct vas pmap_read_vas(void); int pmap_map(struct vm_ctx *, struct vas, vaddr_t, paddr_t, vm_prot_t); /* + * Get rid of a virtual address space and free + * resources. + */ +int pmap_free_vas(struct vm_ctx *, struct vas); + +/* * Unmap a page. */ int pmap_unmap(struct vm_ctx *, struct vas, vaddr_t); |