Skip to content

G
grub
Switch branch/tag
Find file
Normal viewHistoryPermalink
cputime.c 87 Bytes
EditWeb IDE
Newer Older
Vladimir 'phcoder' Serbinenko's avatar
Move cpu time retrieval to separate grub_util_get_cpu_time_ms
7e45abce
 
Vladimir 'phcoder' Serbinenko committed
1 2 3 4 5 
#ifdef __MINGW32__
#include "windows/cputime.c"
#else
#include "unix/cputime.c"
#endif