/* Check if the device is in Configured state.  */
static bool is_device_configured(void)
/* Check if the device is in Configured state.  */
static bool is_device_configured(void)
{
	return (usb_dev.configuration != 0);
}