Re: [PATCH 7/7] Add support for ARM UEFI ("EFI") platforms

[Francesco Lavra]

On 04/01/2013 01:23 PM, Vladimir 'φ-coder/phcoder' Serbinenko wrote:
> get_time is wrong function for getting tsc. You should create a timer
> event with 10000 units (=1 ms) and in its callback increase millisecond
> counter.

The problem is that such timer event would be machine-specific and
wouldn't work across different ARM SoCs. So the best place to handle
these machine-specific details would be in the platform firmware.
Unfortunately the EFI spec doesn't have a standard mechanism to retrieve
a timestamp counter, the most similar mechanism currently defined by the
spec is the get_time service.

--
Francesco