| OLD | NEW |
| 1 #include <stdio.h> | 1 #include <stdio.h> |
| 2 | 2 |
| 3 #include "cgptlib.h" | 3 #include "cgptlib.h" |
| 4 #include "firmware_image_fw.h" | 4 #include "firmware_image_fw.h" |
| 5 #include "kernel_image_fw.h" | 5 #include "kernel_image_fw.h" |
| 6 #include "load_kernel_fw.h" | 6 #include "load_kernel_fw.h" |
| 7 #include "rollback_index.h" | 7 #include "rollback_index.h" |
| 8 #include "tlcl.h" | 8 #include "tlcl.h" |
| 9 | 9 |
| 10 int main(void) | 10 int main(void) |
| (...skipping 13 matching lines...) Expand all Loading... |
| 24 GetLogicalFirmwareVersion(0); | 24 GetLogicalFirmwareVersion(0); |
| 25 VerifyFirmwareDriver_f(0, 0, 0, 0, 0); | 25 VerifyFirmwareDriver_f(0, 0, 0, 0, 0); |
| 26 | 26 |
| 27 // kernel_image_fw.h | 27 // kernel_image_fw.h |
| 28 VerifyKernelKeyHeader(0, 0, 0, 0, 0, 0); | 28 VerifyKernelKeyHeader(0, 0, 0, 0, 0, 0); |
| 29 VerifyKernelPreamble(0, 0, 0, 0); | 29 VerifyKernelPreamble(0, 0, 0, 0); |
| 30 VerifyKernelData(0, 0, 0, 0, 0); | 30 VerifyKernelData(0, 0, 0, 0, 0); |
| 31 VerifyKernelHeader(0, 0, 0, 0, 0, 0); | 31 VerifyKernelHeader(0, 0, 0, 0, 0, 0); |
| 32 VerifyKernel(0, 0, 0); | 32 VerifyKernel(0, 0, 0); |
| 33 GetLogicalKernelVersion(0); | 33 GetLogicalKernelVersion(0); |
| 34 VerifyKernelDriver_f(0, 0, 0, 0); | |
| 35 | 34 |
| 36 // load_kernel_fw.h | 35 // load_kernel_fw.h |
| 37 LoadKernel(0); | 36 LoadKernel(0); |
| 38 | 37 |
| 39 // rollback_index.h | 38 // rollback_index.h |
| 40 SetupTPM(); | 39 SetupTPM(); |
| 41 GetStoredVersions(0, &x, &y); | 40 GetStoredVersions(0, &x, &y); |
| 42 WriteStoredVersions(0, 0, 0); | 41 WriteStoredVersions(0, 0, 0); |
| 43 LockFirmwareVersions(); | 42 LockFirmwareVersions(); |
| 44 LockKernelVersionsByLockingPP(); | 43 LockKernelVersionsByLockingPP(); |
| (...skipping 10 matching lines...) Expand all Loading... |
| 55 TlclAssertPhysicalPresence(); | 54 TlclAssertPhysicalPresence(); |
| 56 TlclSetNvLocked(); | 55 TlclSetNvLocked(); |
| 57 TlclIsOwned(); | 56 TlclIsOwned(); |
| 58 TlclForceClear(); | 57 TlclForceClear(); |
| 59 TlclSetEnable(); | 58 TlclSetEnable(); |
| 60 TlclSetDeactivated(0); | 59 TlclSetDeactivated(0); |
| 61 TlclGetFlags(0, 0); | 60 TlclGetFlags(0, 0); |
| 62 | 61 |
| 63 return 0; | 62 return 0; |
| 64 } | 63 } |
| OLD | NEW |