Produce the UEFI boot service GetNextMonotonicCount() and runtime service\r
GetNextHighMonotonicCount().\r
\r
-Copyright (c) 2006 - 2008, Intel Corporation\r
-All rights reserved. This program and the accompanying materials\r
+Copyright (c) 2006 - 2008, Intel Corporation. All rights reserved.<BR>\r
+This program and the accompanying materials\r
are licensed and made available under the terms and conditions of the BSD License\r
which accompanies this distribution. The full text of the license may be found at\r
http://opensource.org/licenses/bsd-license.php\r
\r
This function returns a 64-bit value that is numerically larger then the last\r
time the function was called.\r
- The platform\92s monotonic counter is comprised of two parts: the high 32 bits\r
+ The platform monotonic counter is comprised of two parts: the high 32 bits\r
and the low 32 bits. The low 32-bit value is volatile and is reset to zero on\r
every system reset. It is increased by 1 on every call to GetNextMonotonicCount().\r
The high 32-bit value is nonvolatile and is increased by one on whenever the\r