diff options
| -rw-r--r-- | sys/arch/amd64/amd64/pmap.c | 6 | ||||
| -rw-r--r-- | sys/include/vm/pmap.h | 5 |
2 files changed, 11 insertions, 0 deletions
diff --git a/sys/arch/amd64/amd64/pmap.c b/sys/arch/amd64/amd64/pmap.c index 108cd91..0f41e7a 100644 --- a/sys/arch/amd64/amd64/pmap.c +++ b/sys/arch/amd64/amd64/pmap.c @@ -224,6 +224,12 @@ pmap_new_vas(struct vas *res) return 0; } +void +pmap_destroy_vas(struct vas vas) +{ + vm_free_frame(vas.top_level, 1); +} + struct vas pmap_read_vas(void) { diff --git a/sys/include/vm/pmap.h b/sys/include/vm/pmap.h index dccfe0d..4cd334c 100644 --- a/sys/include/vm/pmap.h +++ b/sys/include/vm/pmap.h @@ -57,6 +57,11 @@ void pmap_switch_vas(struct vas vas); int pmap_new_vas(struct vas *res); /* + * Deallocate a virtual address space. + */ +void pmap_destroy_vas(struct vas vas); + +/* * Create a virtual memory mapping of a single page. */ int pmap_map(struct vas vas, vaddr_t va, paddr_t pa, vm_prot_t prot); |