dev/arm/generic_timer.cc

531       physTimer(csprintf("%s.phys_timer0", name()),
547     physTimer.serializeSection(cp, "phys_timer0");
563     physTimer.unserializeSection(cp, "phys_timer0");
709             return physTimer.value();
712             return physTimer.value() >> 32;
734             return physTimer.compareValue();
737             return physTimer.compareValue() >> 32;
740             return physTimer.timerValue();
743             return physTimer.control();
764             return physTimer.value();
773             return physTimer.compareValue();
797             physTimer.setCompareValue(
798                 insertBits(physTimer.compareValue(), 31, 0, value));
802             physTimer.setCompareValue(
803                 insertBits(physTimer.compareValue(), 63, 32, value));
807             physTimer.setTimerValue(value);
811             physTimer.setControl(value);
839             return physTimer.setCompareValue(value);