/* Sends the currently active setting of the given interface to the USB host. If alternate settings are not supported, this function STALLs the control pipe.  */
static void GetInterface(const USBDDriver *pDriver, unsigned char infnum)
/* Sends the currently active setting of the given interface to the USB host. If alternate settings are not supported, this function STALLs the control pipe.  */
static void GetInterface(const USBDDriver *pDriver, unsigned char infnum)
{
    if (!pDriver->pInterfaces) {
        USBD_Stall(0);
    }
    else {
        USBD_Write(0, &(pDriver->pInterfaces[infnum]), 1, 0, 0);
    }
}