From d4955444976a90377d0ff9d8140bb906c2c36f46 Mon Sep 17 00:00:00 2001
From: Vladimir 'phcoder' Serbinenko <phcoder@gmail.com>
Date: Wed, 2 Jun 2010 05:00:54 +0200
Subject: [PATCH] Shut down PHCI controller harder

---
 bus/usb/ohci.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/bus/usb/ohci.c b/bus/usb/ohci.c
index fd378cc8d..a42d9fee1 100644
--- a/bus/usb/ohci.c
+++ b/bus/usb/ohci.c
@@ -970,7 +970,10 @@ grub_ohci_fini_hw (int noreturn __attribute__ ((unused)))
       grub_ohci_writereg32 (o, GRUB_OHCI_REG_BULKHEAD, 0);
       grub_ohci_writereg32 (o, GRUB_OHCI_REG_BULKCURR, 0);
       grub_ohci_writereg32 (o, GRUB_OHCI_REG_DONEHEAD, 0);
+      grub_ohci_writereg32 (o, GRUB_OHCI_REG_CONTROL, 0);
+      grub_ohci_writereg32 (o, GRUB_OHCI_REG_CMDSTATUS, 1);
     }
+  grub_millisleep (10);
 
   return GRUB_ERR_NONE;
 }