/* This routine sets up the initial Guest GDT for booting. All entries start as 0 (unusable).  */
void setup_guest_gdt(struct lg_cpu *cpu)
/* This routine sets up the initial Guest GDT for booting. All entries start as 0 (unusable).  */
void setup_guest_gdt(struct lg_cpu *cpu)
{
	cpu->arch.gdt[GDT_ENTRY_KERNEL_CS] = FULL_EXEC_SEGMENT;
	cpu->arch.gdt[GDT_ENTRY_KERNEL_DS] = FULL_SEGMENT;
	cpu->arch.gdt[GDT_ENTRY_KERNEL_CS].b |= (GUEST_PL << 13);
	cpu->arch.gdt[GDT_ENTRY_KERNEL_DS].b |= (GUEST_PL << 13);
}