1 files changed, 14 insertions, 10 deletions
diff --git a/firmware/stub/vboot_api_stub_disk.c b/firmware/stub/vboot_api_stub_disk.c
index 186cd97d..a7570c3b 100644
--- a/firmware/stub/vboot_api_stub_disk.c
+++ b/firmware/stub/vboot_api_stub_disk.c
@@ -19,26 +19,30 @@
 
 
 VbError_t VbExDiskGetInfo(VbDiskInfo** infos_ptr, uint32_t* count,
-                          uint32_t disk_flags) {
-  *infos_ptr = NULL;
-  *count = 0;
-  return VBERROR_SUCCESS;
+                          uint32_t disk_flags)
+{
+	*infos_ptr = NULL;
+	*count = 0;
+	return VBERROR_SUCCESS;
 }
 
 
 VbError_t VbExDiskFreeInfo(VbDiskInfo* infos_ptr,
-                           VbExDiskHandle_t preserve_handle) {
-  return VBERROR_SUCCESS;
+                           VbExDiskHandle_t preserve_handle)
+{
+	return VBERROR_SUCCESS;
 }
 
 
 VbError_t VbExDiskRead(VbExDiskHandle_t handle, uint64_t lba_start,
-                       uint64_t lba_count, void* buffer) {
-  return VBERROR_SUCCESS;
+                       uint64_t lba_count, void* buffer)
+{
+	return VBERROR_SUCCESS;
 }
 
 
 VbError_t VbExDiskWrite(VbExDiskHandle_t handle, uint64_t lba_start,
-                        uint64_t lba_count, const void* buffer) {
-  return VBERROR_SUCCESS;
+                        uint64_t lba_count, const void* buffer)
+{
+	return VBERROR_SUCCESS;
 }