Index: src/platform/vboot_reference/vboot_firmware/include/load_kernel_fw.h |
diff --git a/src/platform/vboot_reference/fwapi/include/load_kernel_fw.h b/src/platform/vboot_reference/vboot_firmware/include/load_kernel_fw.h |
similarity index 98% |
rename from src/platform/vboot_reference/fwapi/include/load_kernel_fw.h |
rename to src/platform/vboot_reference/vboot_firmware/include/load_kernel_fw.h |
index 0c7f1bf8be5e0d90670aa9888fccd3dd7b11aa00..1c7ed0714f37a04d526a4f312a2aee09f71cc0ff 100644 |
--- a/src/platform/vboot_reference/fwapi/include/load_kernel_fw.h |
+++ b/src/platform/vboot_reference/vboot_firmware/include/load_kernel_fw.h |
@@ -38,7 +38,7 @@ typedef struct LoadKernelParams { |
uint64_t bootloader_size; /* Size of bootloader image in bytes */ |
} LoadKernelParams; |
-uintn_t LoadKernel(LoadKernelParams* params); |
+uint64_t LoadKernel(LoadKernelParams* params); |
/* Attempts to load the kernel from the current device. |
* |
* Returns LOAD_KERNEL_SUCCESS if successful, error code on failure. */ |