# used by SMM drivers and runtime drivers, ACPI timer is recommended for SMM\r
# drivers and runtime drivers.\r
#\r
# used by SMM drivers and runtime drivers, ACPI timer is recommended for SMM\r
# drivers and runtime drivers.\r
#\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
# 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