On 04/01/2013 04:16 PM, Vladimir 'φ-coder/phcoder' Serbinenko wrote: > On 01.04.2013 16:10, Francesco Lavra wrote: > >> 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. > > Looks at events in EFI spec. You can define a periodic event with 1ms > period and custom function as callback. Then you just need to count in > this function.
You are right, I wasn't aware of this capability. I have no idea how widespread is support of timer events in different ARM EFI implementations. We'll find out... _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel