dev/arm/generic_timer.cc

534       virtTimer(csprintf("%s.virt_timer0", name()),
548     virtTimer.serializeSection(cp, "virt_timer0");
564     virtTimer.unserializeSection(cp, "virt_timer0");
637             return virtTimer.offset();
640             return virtTimer.offset() >> 32;
649             return virtTimer.offset();
673             virtTimer.setOffset(
674                 insertBits(virtTimer.offset(), 31, 0, value));
678             virtTimer.setOffset(
679                 insertBits(virtTimer.offset(), 63, 32, value));
690             virtTimer.setOffset(value);
715             return virtTimer.value();
718             return virtTimer.value() >> 32;
728             return virtTimer.offset();
731             return virtTimer.offset() >> 32;
746             return virtTimer.compareValue();
749             return virtTimer.compareValue() >> 32;
752             return virtTimer.timerValue();
755             return virtTimer.control();
767             return virtTimer.value();
770             return virtTimer.offset();
776             return virtTimer.compareValue();
815             virtTimer.setCompareValue(
816                 insertBits(virtTimer.compareValue(), 31, 0, value));
820             virtTimer.setCompareValue(
821                 insertBits(virtTimer.compareValue(), 63, 32, value));
825             virtTimer.setTimerValue(value);
829             virtTimer.setControl(value);
842             return virtTimer.setCompareValue(value);