diff options
Diffstat (limited to 'drivers/lguest/segments.c')
-rw-r--r-- | drivers/lguest/segments.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/drivers/lguest/segments.c b/drivers/lguest/segments.c index 4d4e5a4586f9..f675a41a80da 100644 --- a/drivers/lguest/segments.c +++ b/drivers/lguest/segments.c | |||
@@ -94,6 +94,10 @@ static void check_segment_use(struct lguest *lg, unsigned int desc) | |||
94 | || lg->regs->ss / 8 == desc) | 94 | || lg->regs->ss / 8 == desc) |
95 | kill_guest(lg, "Removed live GDT entry %u", desc); | 95 | kill_guest(lg, "Removed live GDT entry %u", desc); |
96 | } | 96 | } |
97 | /*:*/ | ||
98 | /*M:009 We wouldn't need to check for removal of in-use segments if we handled | ||
99 | * faults in the Switcher. However, it's probably not a worthwhile | ||
100 | * optimization. :*/ | ||
97 | 101 | ||
98 | /*H:610 Once the GDT has been changed, we look through the changed entries and | 102 | /*H:610 Once the GDT has been changed, we look through the changed entries and |
99 | * see if they're OK. If not, we'll call kill_guest() and the Guest will never | 103 | * see if they're OK. If not, we'll call kill_guest() and the Guest will never |