Device support: Fix yet another off-by-one error for device indices.
Prevent them from happening in the future by hiding the respective functions in the device manager. No one should ever need to map an id to an index directly on the device manager. Change-Id: I41da16489b8aec67709ab3b4b115d915d4f29a4c Reviewed-by: Tobias Hunger <firstname.lastname@example.org>
Showing with 15 additions and 24 deletions