ARM_PFR1_GTIMER_MASK
return armreg_pfr1_read() & ARM_PFR1_GTIMER_MASK;
if ((armreg_pfr1_read() & ARM_PFR1_GTIMER_MASK) != 0)