Index: firmware/lib/vboot_kernel.c |
diff --git a/firmware/lib/vboot_kernel.c b/firmware/lib/vboot_kernel.c |
index 3369b6d6632369ff4c3251012332c971cc2c5b58..8ee45a7eabb3b6aa7bf728bd50005f1bfa3f75aa 100644 |
--- a/firmware/lib/vboot_kernel.c |
+++ b/firmware/lib/vboot_kernel.c |
@@ -325,12 +325,15 @@ int LoadKernel(LoadKernelParams* params) { |
} |
/* Read the kernel data */ |
+ VBPERFSTART("VB_RKD"); |
if (0 != BootDeviceReadLBA(part_start + body_offset_sectors, |
body_sectors, |
params->kernel_buffer)) { |
VBDEBUG(("Unable to read kernel data.\n")); |
+ VBPERFEND("VB_RKD"); |
goto bad_kernel; |
} |
+ VBPERFEND("VB_RKD"); |
/* Verify kernel data */ |
if (0 != VerifyData((const uint8_t*)params->kernel_buffer, |