/*
 * Copyright 2014, NICTA
 *
 * This software may be distributed and modified according to the terms of
 * the GNU General Public License version 2. Note that NO WARRANTY is provided.
 * See "LICENSE_GPLv2.txt" for details.
 *
 * @TAG(NICTA_GPL)
 */

#ifndef ETHIF_INTEL_H
#define ETHIF_INTEL_H

#include <platsupport/io.h>

/**
 * This function initialises the hardware
 * @param[in] io_ops        A structure containing os specific data and
 *                          functions.
 * @param[in] bar0          Where pci bar0 has been mapped into our vspace
 * @return                  A reference to the ethernet drivers state.
 */
struct eth_driver*
ethif_e82580_init(ps_io_ops_t io_ops, void *bar0);

/**
 * This function initialises the hardware
 * @param[in] io_ops        A structure containing os specific data and
 *                          functions.
 * @param[in] bar0          Where pci bar0 has been mapped into our vspace
 * @return                  A reference to the ethernet drivers state.
 */
struct eth_driver*
ethif_e82574_init(ps_io_ops_t io_ops, void *bar0);

#endif

/*
 * Copyright 2014, NICTA
 *
 * This software may be distributed and modified according to the terms of
 * the GNU General Public License version 2. Note that NO WARRANTY is provided.
 * See "LICENSE_GPLv2.txt" for details.
 *
 * @TAG(NICTA_GPL)
 */

#include <platsupport/io.h>

/**
 * This function initialises the hardware
 * @param[in] io_ops        A structure containing os specific data and
 *                          functions.
 * @param[in] bar0          Where pci bar0 has been mapped into our vspace
 * @return                  A reference to the ethernet drivers state.
 */
struct eth_driver*
ethif_e82580_init(ps_io_ops_t io_ops, void *bar0);

/**
 * This function initialises the hardware
 * @param[in] io_ops        A structure containing os specific data and
 *                          functions.
 * @param[in] bar0          Where pci bar0 has been mapped into our vspace
 * @return                  A reference to the ethernet drivers state.
 */
struct eth_driver*
ethif_e82574_init(ps_io_ops_t io_ops, void *bar0);

--- 
+++ 
@@ -7,6 +7,9 @@
  *
  * @TAG(NICTA_GPL)
  */
+
+#ifndef ETHIF_INTEL_H
+#define ETHIF_INTEL_H
 
 #include <platsupport/io.h>
 
@@ -29,3 +32,5 @@
  */
 struct eth_driver*
 ethif_e82574_init(ps_io_ops_t io_ops, void *bar0);
+
+#endif
Add missing header file guards
