Index: vboot_firmware/include/boot_device.h |
diff --git a/vboot_firmware/include/boot_device.h b/vboot_firmware/include/boot_device.h |
index 47c834f64be4922b033d4114b14e49dc60b60aa5..10303ca4ab2e2d5abe3bb26eb9e879ab4087f576 100644 |
--- a/vboot_firmware/include/boot_device.h |
+++ b/vboot_firmware/include/boot_device.h |
@@ -8,7 +8,7 @@ |
#ifndef VBOOT_REFERENCE_BOOT_DEVICE_H_ |
#define VBOOT_REFERENCE_BOOT_DEVICE_H_ |
-#include <stdint.h> |
+#include "sysincludes.h" |
int BootDeviceReadLBA(uint64_t lba_start, uint64_t lba_count, void *buffer); |
/* Reads lba_count LBA sectors, starting at sector lba_start, from the current |