#define _FILE_OFFSET_BITS 64
+typedef unsigned long long u64; /* hack to allow include of ethtool.h */
+
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <linux/sockios.h>
#include <net/if.h>
#include <pci/pci.h>
-typedef __u64 u64;
#include <linux/ethtool.h>
#include "efi.h"
#include "efichar.h"