/* If PDC used the usb controller, the usb controller is still running and will crash the machines during iommu setup, because of still running DMA. This PDC call stops the USB controller. Normally called after calling pdc_io_reset().  */
void pdc_io_reset_devices(void)
/* If PDC used the usb controller, the usb controller is still running and will crash the machines during iommu setup, because of still running DMA. This PDC call stops the USB controller. Normally called after calling pdc_io_reset().  */
void pdc_io_reset_devices(void)
{
	unsigned long flags;
	spin_lock_irqsave(&pdc_lock, flags);
	mem_pdc_call(PDC_IO, PDC_IO_RESET_DEVICES, 0);
	spin_unlock_irqrestore(&pdc_lock, flags);
}