#pragma once #include "../device.h" // each of these are the functions that prove // the given state transition void setDeviceStateToLock(Device_t *device); void setDeviceStateToUnlock(Device_t *device); void setDeviceStateToDebug(Device_t *device); void setDeviceStateToOff(Device_t *device);