|
@@ -150,7 +150,7 @@ void load_guest_gdt_entry(struct lg_cpu *cpu, u32 num, u32 lo, u32 hi)
|
|
{
|
|
{
|
|
/* We assume the Guest has the same number of GDT entries as the
|
|
/* We assume the Guest has the same number of GDT entries as the
|
|
* Host, otherwise we'd have to dynamically allocate the Guest GDT. */
|
|
* Host, otherwise we'd have to dynamically allocate the Guest GDT. */
|
|
- if (num > ARRAY_SIZE(cpu->arch.gdt))
|
|
|
|
|
|
+ if (num >= ARRAY_SIZE(cpu->arch.gdt))
|
|
kill_guest(cpu, "too many gdt entries %i", num);
|
|
kill_guest(cpu, "too many gdt entries %i", num);
|
|
|
|
|
|
/* Set it up, then fix it. */
|
|
/* Set it up, then fix it. */
|