/* Returns a pointer to the descriptor right after the given one, when parsing a Configuration descriptor.  */
USBGenericDescriptor* USBGenericDescriptor_GetNextDescriptor(const USBGenericDescriptor *descriptor)
/* Returns a pointer to the descriptor right after the given one, when parsing a Configuration descriptor.  */
USBGenericDescriptor* USBGenericDescriptor_GetNextDescriptor(const USBGenericDescriptor *descriptor)
{
    return (USBGenericDescriptor *)
        (((char *) descriptor) + USBGenericDescriptor_GetLength(descriptor));
}