/*
+ * This file is part of the coreboot project.
+ *
* Copyright (C) 2006 Uwe Hermann <uwe@hermann-uwe.de>
*
* This program is free software; you can redistribute it and/or modify
#ifndef _SUPERIO_ITE_IT8716F
#define _SUPERIO_ITE_IT8716F
+#include <device/device.h>
#include <pc80/keyboard.h>
#include <uart8250.h>