/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */

#ifndef _IPQ40XX_USB_H_
#define _IPQ40XX_USB_H_

void setup_usb_host1(void);
void setup_usb_host2(void);

#endif /* _IPQ40XX_USB_H_ */
