dev/arm/generic_timer.cc

441         return core.physNS.compareValue();
467         return core.virt.compareValue();
484         return core.physS.compareValue();
497         return core.hyp.compareValue();
734             return physTimer.compareValue();
737             return physTimer.compareValue() >> 32;
746             return virtTimer.compareValue();
749             return virtTimer.compareValue() >> 32;
773             return physTimer.compareValue();
776             return virtTimer.compareValue();
798                 insertBits(physTimer.compareValue(), 31, 0, value));
803                 insertBits(physTimer.compareValue(), 63, 32, value));
816                 insertBits(virtTimer.compareValue(), 31, 0, value));
821                 insertBits(virtTimer.compareValue(), 63, 32, value));