docs: def setup_gdt(self, state, gdt):
          """
          Write the GlobalDescriptorTable object in the current state memory
  
          :param state: state in which to write the GDT
          :param gdt: GlobalDescriptorTable object
          :return:
          """
          state.memory.store(gdt.addr+8, gdt.table)
          state.regs.gdt = gdt.gdt
          state.regs.cs = gdt.cs
          state.regs.ds = gdt.ds
          state.regs.es = gdt.es
          state.regs.ss = gdt.ss
          state.regs.fs = gdt.fs
          state.regs.gs = gdt.gs