cpu_hascounter
extern int cpu_hascounter(void);
if (CPU_IS_PRIMARY(ci) && cpu_hascounter()) {
if (secondpass && cpu_hascounter()) {
if (!cpu_hascounter())
if (!cpu_hascounter())
if (!cpu_hascounter())
if (!cpu_hascounter())
if (hpet0 == NULL || !cpu_hascounter())
if (!cpu_hascounter()) {
if (__predict_true(cpu_hascounter()))
#define SYSCALL_TIME() (cpu_hascounter() ? cpu_counter32() : 0u)