#ifndef BDW_REFCODE_USB_H
#define BDW_REFCODE_USB_H

#include <types.h>

int PchStartUsbInit(void *usb_pol, uintptr_t ehcibar, uintptr_t xhcibar, uint8_t revision);
int CommonUsbInit(void *usb_pol, uintptr_t ehcibar, uintptr_t xhcibar, uint8_t bus,
		uintptr_t rcba, uint32_t *rcba_fd, uint8_t revision);
void finalize_usb(void);

#endif