Cherry-pick vboot_reference files from TOT to support crossystem

firmware/include/utility.h

 /* Copyright (c) 2010 The Chromium OS Authors. All rights reserved.
  * Use of this source code is governed by a BSD-style license that can be
  * found in the LICENSE file.
  */
 
 /* Helper functions/wrappers for memory allocations, manipulation and
  * comparison.
  */
 
 #ifndef VBOOT_REFERENCE_UTILITY_H_
@@ skipping 78 matching lines @@
 
 /* Ensure that only our stub implementations are used, not standard C */
 #ifndef _STUB_IMPLEMENTATION_
 #define malloc _do_not_use_standard_malloc
 #define free _do_not_use_standard_free
 #define memcmp _do_not_use_standard_memcmp
 #define memcpy _do_not_use_standard_memcpy
 #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_ */