diff options
Diffstat (limited to 'drivers/lguest/page_tables.c')
-rw-r--r-- | drivers/lguest/page_tables.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/drivers/lguest/page_tables.c b/drivers/lguest/page_tables.c index 699187ab3800..5b9ac32801c7 100644 --- a/drivers/lguest/page_tables.c +++ b/drivers/lguest/page_tables.c | |||
@@ -1002,6 +1002,7 @@ void guest_set_pgd(struct lguest *lg, unsigned long gpgdir, u32 idx) | |||
1002 | kill_guest(&lg->cpus[0], | 1002 | kill_guest(&lg->cpus[0], |
1003 | "Cannot populate switcher mapping"); | 1003 | "Cannot populate switcher mapping"); |
1004 | } | 1004 | } |
1005 | lg->pgdirs[pgdir].last_host_cpu = -1; | ||
1005 | } | 1006 | } |
1006 | } | 1007 | } |
1007 | 1008 | ||