device_idle
{ "idle", device_idle },
{ "standby", device_idle },
{ "sleep", device_idle },
void device_idle(int, char *[]);