altos/stmf0: Fix location of device_id register
[fw/altos] / src / kernel / ao_power.h
2016-02-07 Keith Packardaltos: Add power management APIs