* ``CounterMilli16C.nc`` provides ``Counter<TMilli,uint16_t>``
* ``CounterMilli32C.nc`` provides ``Counter<TMilli,uint32_t>``
* ``GpioCaptureC.nc``
- * ``HilTimerMilliC.nc`` provides ``Timer<TMilli> as TimerMilli[uint8_t num]``
+ * ``HilTimerMilliC.nc`` provides ``LocalTime<TMilli>`` and
+ ``Timer<TMilli> as TimerMilli[uint8_t num]``
* ``Msp430AlarmC.nc`` is generic and converts an MSP430 timer to a 16-bit Alarm
* ``Msp430Capture.nc`` HPL interface definition for MSP430 timer captures
* ``Msp430ClockC.nc`` exposes MSP430 hardware clock initialization