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 _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
