#include <console/console.h>
#include <uart8250.h>
#include <pc80/keyboard.h>
+#include <stdlib.h>
#include "chip.h"
/* The following Super I/O chips are currently supported by this driver: */
static uint8_t superio_id = 0;
static uint8_t superio_rev = 0;
-/* TODO: Move somewhere else, but where? */
-#define ARRAY_SIZE(a) (sizeof(a) / sizeof((a)[0]))
-
/**
* A list of all possible logical devices which may be supported by at least
* one of the Super I/O chips. These values are used as index into the