Committed machine/m_xt_xi8088.c/h that I forgot before.

src/machine/m_xt_xi8088.c

@@ -0,0 +1,135 @@
+#include <stdio.h>
+#include <stdint.h>
+#include <string.h>
+#include <wchar.h>
+#include "../86box.h"
+#include "../pic.h"
+#include "../pit.h"
+#include "../dma.h"
+#include "../mem.h"
+#include "../device.h"
+#include "../floppy/fdd.h"
+#include "../floppy/fdc.h"
+#include "../nmi.h"
+#include "../nvr.h"
+#include "../game/gameport.h"
+#include "../keyboard.h"
+#include "../lpt.h"
+#include "../disk/hdc.h"
+#include "machine.h"
+#include "../cpu/cpu.h"
+
+#include "m_xt_xi8088.h"
+
+typedef struct xi8088_t
+{
+        uint8_t turbo;
+
+        int turbo_setting;
+        int bios_128kb;
+} xi8088_t;
+
+static xi8088_t xi8088;
+
+uint8_t xi8088_turbo_get()
+{
+        return xi8088.turbo;
+}
+
+void xi8088_turbo_set(uint8_t value)
+{
+        if (!xi8088.turbo_setting)
+                return;
+
+        xi8088.turbo = value;
+        if (!value)
+        {
+                pclog("Xi8088 turbo off\n");
+                int c = cpu;
+                cpu = 0;        /* 8088/4.77 */
+                cpu_set();
+                cpu = c;
+        }
+        else
+        {
+                pclog("Xi8088 turbo on\n");
+                cpu_set();
+        }
+}
+
+void xi8088_bios_128kb_set(int val)
+{
+	xi8088.bios_128kb = val;
+}
+
+int xi8088_bios_128kb()
+{
+	return xi8088.bios_128kb;
+}
+
+static void *xi8088_init()
+{
+        /* even though the bios by default turns the turbo off when controlling by hotkeys, pcem always starts at full speed */
+        xi8088.turbo = 1;
+        xi8088.turbo_setting = device_get_config_int("turbo_setting");
+
+	return &xi8088;
+}
+
+static device_config_t xi8088_config[] =
+{
+        {
+                .name = "turbo_setting",
+                .description = "Turbo",
+                .type = CONFIG_SELECTION,
+                .selection =
+                {
+                        {
+                                .description = "Always at selected speed",
+                                .value = 0
+                        },
+                        {
+                                .description = "Hotkeys (starts off)",
+                                .value = 1
+                        }
+                },
+                .default_int = 0
+        },
+        {
+                .type = -1
+        }
+};
+
+
+device_t xi8088_device =
+{
+        "Xi8088",
+        0,
+        0,
+        xi8088_init,
+        NULL,
+        NULL,
+        NULL,
+        NULL,
+        NULL,
+        NULL,
+        xi8088_config
+};
+
+device_t *
+xi8088_get_device(void)
+{
+    return &xi8088_device;
+}
+
+void machine_xt_xi8088_init(machine_t *model)
+{
+        /* TODO: set UMBs? See if PCem always sets when we have > 640KB ram and avoids conflicts when a peripheral uses the same memory space */
+        machine_common_init(model);
+	device_add(&fdc_xt_device);
+	device_add(&keyboard_ps2_device);
+        nmi_init();
+	nvr_at_init(8);
+        pic2_init();
+        device_add(&gameport_device);
+}

src/machine/m_xt_xi8088.h

@@ -0,0 +1,8 @@
+#include "../device.h"
+
+extern device_t xi8088_device;
+
+uint8_t xi8088_turbo_get();
+void xi8088_turbo_set(uint8_t value);
+void xi8088_bios_128kb_set(int val);
+int xi8088_bios_128kb();