···122 /* DS: data, read/write, 4 GB, base 0 */123 [GDT_ENTRY_BOOT_DS] = GDT_ENTRY(0xc093, 0, 0xfffff),124 };125+ /* Xen HVM incorrectly stores a pointer to the gdt_ptr, instead126+ of the gdt_ptr contents. Thus, make it static so it will127+ stay in memory, at least long enough that we switch to the128+ proper kernel GDT. */129+ static struct gdt_ptr gdt;130131 gdt.len = sizeof(boot_gdt)-1;132 gdt.ptr = (u32)&boot_gdt + (ds() << 4);