| 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
|
|
|