diff options
Diffstat (limited to 'src/sys/arch/amd64/cpu/mmu.c')
| -rw-r--r-- | src/sys/arch/amd64/cpu/mmu.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/sys/arch/amd64/cpu/mmu.c b/src/sys/arch/amd64/cpu/mmu.c index face548..2b98d78 100644 --- a/src/sys/arch/amd64/cpu/mmu.c +++ b/src/sys/arch/amd64/cpu/mmu.c @@ -394,6 +394,17 @@ mmu_write_vas(struct vm_vas *vas) } /* + * Allocate the frame used for a VAS + */ +int +mmu_free_vas(struct vm_vas *vas) +{ + vm_free_frame(vas->cr3, 1); + vas->cr3 = 0; + return 0; +} + +/* * Verify that we are in a known state */ int |