dev/arm/generic_timer.cc

100       _control(0), _counterLimit(0), _offset(0),
108     _control.istatus = 1;
110     if (!_control.enable)
114     if (!_control.imask) {
132         _control.istatus = 0;
159         !(_control.enable && !_control.imask)) {
162             _control.istatus = 1;
168     _control.enable = new_ctl.enable;
169     _control.imask = new_ctl.imask;
188     paramOut(cp, "control_serial", _control);
196     paramIn(cp, "control_serial", _control);