diff options
author | Marin Hannache | 2013-07-13 00:01:47 +0200 |
---|---|---|
committer | Michael Brown | 2013-07-14 23:36:13 +0200 |
commit | 7f4a5c06a30d280d89d88efa906feb7d14f2f35f (patch) | |
tree | 46c483e07d321c7a6408a3da8b46d7616fe32c9e /src/interface/linux | |
parent | [intel] Incorporate ring producer and consumer counters in diagnostics (diff) | |
download | ipxe-7f4a5c06a30d280d89d88efa906feb7d14f2f35f.tar.gz ipxe-7f4a5c06a30d280d89d88efa906feb7d14f2f35f.tar.xz ipxe-7f4a5c06a30d280d89d88efa906feb7d14f2f35f.zip |
[linux] Add missing #include <stddef.h>
Signed-off-by: Marin Hannache <git@mareo.fr>
Signed-off-by: Michael Brown <mcb30@ipxe.org>
Diffstat (limited to 'src/interface/linux')
-rw-r--r-- | src/interface/linux/linux_time.c | 1 | ||||
-rw-r--r-- | src/interface/linux/linux_timer.c | 1 |
2 files changed, 2 insertions, 0 deletions
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> |