diff options
| author | Hanjie Wu <hanjiew@andrew.cmu.edu> | 2023-04-28 21:14:37 -0400 |
|---|---|---|
| committer | Hanjie Wu <hanjiew@andrew.cmu.edu> | 2023-04-28 21:14:37 -0400 |
| commit | 119b5e6fde37c53a5037a6ba959ba60c882bd6d0 (patch) | |
| tree | a41be842bfc966befb80324cc405414b35cf91d2 /kern/sched.c | |
| parent | ff90341c64565ac7d8034d2f8cf460532a5b51fd (diff) | |
Diffstat (limited to 'kern/sched.c')
| -rw-r--r-- | kern/sched.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kern/sched.c b/kern/sched.c index f797409..21b2c90 100644 --- a/kern/sched.c +++ b/kern/sched.c @@ -358,6 +358,7 @@ void destroy_thread(thread_t* t) { free_user_pages(r->paddr, r->size / PAGE_SIZE); } vector_free(&p->regions); + /** PV guests' page tables are managed by pv_pd_t */ if (p->pv == NULL) { destroy_pd(p->cr3); } else { @@ -726,6 +727,7 @@ void kill_current() { free_user_pages(r->paddr, r->size / PAGE_SIZE); } vector_free(&p->regions); + /** PV guests' page tables are managed by pv_pd_t */ if (p->pv == NULL) { destroy_pd(old_cr3); } else { |