Index: firmware/include/utility.h |
diff --git a/firmware/include/utility.h b/firmware/include/utility.h |
index 3c4a3bb5017b3c3d45c9d71c130118c649e62835..4f88ab9cf5d8a0938a2018b168062bbb3fddd13d 100644 |
--- a/firmware/include/utility.h |
+++ b/firmware/include/utility.h |
@@ -96,4 +96,18 @@ int SafeMemcmp(const void* s1, const void* s2, size_t n); |
#define memset _do_not_use_standard_memset |
#endif |
+/* Read a high-resolution timer. */ |
+uint64_t VbGetTimer(void); |
+ |
+/* Return the maximum frequency for the high-resolution timer, in Hz. |
+ * |
+ * Note that this call MUST be fast; the implementation must not |
+ * attempt to actually measure the frequency. This function need only |
+ * return an upper bound for the timer frequency, so that minimum |
+ * delays can be established. For example, if the same BIOS can run |
+ * on CPUs where the timer frequency varies between 1.2GHz and 1.8GHz, |
+ * return 1800000000 (or even 2000000000). */ |
+uint64_t VbGetTimerMaxFreq(void); |
+ |
+ |
#endif /* VBOOT_REFERENCE_UTILITY_H_ */ |