From 7f4a5c06a30d280d89d88efa906feb7d14f2f35f Mon Sep 17 00:00:00 2001
From: Marin Hannache <git@mareo.fr>
Date: Sat, 13 Jul 2013 00:01:47 +0200
Subject: [PATCH] [linux] Add missing #include <stddef.h>

Signed-off-by: Marin Hannache <git@mareo.fr>
Signed-off-by: Michael Brown <mcb30@ipxe.org>
---
 src/interface/linux/linux_time.c  | 1 +
 src/interface/linux/linux_timer.c | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/interface/linux/linux_time.c b/src/interface/linux/linux_time.c
index 6d722aad..e3cbafec 100644
--- a/src/interface/linux/linux_time.c
+++ b/src/interface/linux/linux_time.c
@@ -26,6 +26,7 @@ FILE_LICENCE ( GPL2_OR_LATER );
  */
 
 #include <stdint.h>
+#include <stddef.h>
 #include <errno.h>
 #include <linux_api.h>
 #include <ipxe/time.h>
diff --git a/src/interface/linux/linux_timer.c b/src/interface/linux/linux_timer.c
index 6b4643a6..bf55cd18 100644
--- a/src/interface/linux/linux_timer.c
+++ b/src/interface/linux/linux_timer.c
@@ -18,6 +18,7 @@
 
 FILE_LICENCE(GPL2_OR_LATER);
 
+#include <stddef.h>
 #include <ipxe/timer.h>
 
 #include <linux_api.h>