the timer hardware is not programmable, then EFI_UNSUPPORTED is\r
returned. If the timer is programmable, then the timer period\r
will be rounded up to the nearest timer period that is supported\r
the timer hardware is not programmable, then EFI_UNSUPPORTED is\r
returned. If the timer is programmable, then the timer period\r
will be rounded up to the nearest timer period that is supported\r