| 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_ */
|
|
|