// Because CPU Local APIC and ITC could be programmed by OS, it cannot be\r
// used by SMM drivers and runtime drivers, ACPI timer is recommended for SMM\r
// drivers and runtime drivers.\r
// Because CPU Local APIC and ITC could be programmed by OS, it cannot be\r
// used by SMM drivers and runtime drivers, ACPI timer is recommended for SMM\r
// drivers and runtime drivers.\r