/*
- * This file is part of the LinuxBIOS project.
+ * This file is part of the coreboot project.
*
* Copyright (C) 2007 Luis Correia <luis.f.correia@gmail.com>
*
*/
#define ASSEMBLY 1
+
#include <stdint.h>
#include <device/pci_def.h>
#include <device/pci_ids.h>