altos/stm: Make sure we switch to MSI during timer init
[fw/altos] / src / stm / ao_profile.h
2012-06-27 Keith Packardaltos: Create a 32-bit 1MHz timer for use in profiling...