http://permalink.gmane.org/gmane.linux.kernel.rpi/438

repos/base-hw/src/core/include/spec/rpi/pic.h

http://sourceforge.net/p/genode/mailman/message/33071769/

------ kernel/fiasco/src/kern/arm/bsp/bcm2835/mem_layout-arm-bcm2835.cpp ------
index aab5906..4385ebe 100644
@@ -8,5 +8,6 @@ public:
     Pic_phys_base        = 0x2000b200,
     Watchdog_phys_base   = 0x20100000,
     Uart_phys_base       = 0x20201000,
+    Usb_dwc_otg_base     = 0x20980000,
   };
 };

---------- kernel/fiasco/src/kern/arm/bsp/bcm2835/pic-arm-bcm2835.cpp ----------
index 20ed280..13fa623 100644
@@ -7,6 +7,83 @@ IMPLEMENTATION [arm && bcm2835]:
 #include "irq_mgr.h"
 #include "mmio_register_block.h"
 #include "kmem.h"
+#include "warn.h"
+
+class Usb_dwc_otg : Mmio_register_block{
+private:
+  enum{
+    Core_irq_status_reg   = 0x14,
+    Guid_reg              = 0x3c,
+    Host_frame_number_reg = 0x408,
+  };
+  bool is_sof() const { return read<Mword>(Core_irq_status_reg)&0x8; }
+};
+
+PUBLIC
+Usb_dwc_otg::Usb_dwc_otg()
+: Mmio_register_block(Kmem::mmio_remap(Mem_layout::Usb_dwc_otg_base))
+{
+
+  write<Mword>(read<Mword>(Guid_reg)&0x3FFFC000, Guid_reg);
+}
+
+PRIVATE
+static bool
+Usb_dwc_otg::need_trigger_sof(Mword host_frame, Mword scheduled_frame)
+{
+  Mword const max_frame = 0x3fff;
+
+  if (host_frame < scheduled_frame) {
+    if (scheduled_frame - host_frame < max_frame / 2)
+      return false;  /* scheduled frame not reached yet */
+    else
+      return true;   /* scheduled frame passed, host frame wrapped */
+  } else {
+    if (host_frame - scheduled_frame < max_frame / 2)
+      return true;   /* scheduled frame passed */
+    else
+      return false;  /* scheduled frame wrapped, not reached */
+  }
+}
+
+PUBLIC
+bool
+Usb_dwc_otg::handle_sof()
+{
+  if (!is_sof())
+    return false;
+
+  static Mword cnt, stat_cnt, filter_cnt, kick_cnt, trigger_cnt;
+
+  stat_cnt++;
+  if (stat_cnt == 8000) {
+    WARN("kicked: %d filtered: %d  triggered: %d", kick_cnt, filter_cnt, trigger_cnt);
+    stat_cnt = 0;
+  }
+
+  cnt++;
+  if (cnt == 8*20) {
+    cnt = 0;
+    return false;
+  }
+
+  if (read<Mword>(Guid_reg)&0x40000000)
+    kick_cnt++;
+
+  if ((!read<Mword>(Guid_reg)&0x80000000) || (read<Mword>(Guid_reg)&0x40000000))
+    return false;
+
+  if (Usb_dwc_otg::need_trigger_sof(read<Mword>(Host_frame_number_reg)&0x3fff, read<Mword>(Guid_reg)&0x3fff)) {
+    trigger_cnt++;
+    return false;
+  }
+
+  filter_cnt++;
+
+  write<Mword>(read<Mword>(Core_irq_status_reg)|0x8, Core_irq_status_reg);
+
+  return true;
+}
 
 class Irq_chip_bcm : public Irq_chip_gen, Mmio_register_block
 {
@@ -29,6 +106,9 @@ public:
   bool is_edge_triggered(Mword) const { return false; }
   void set_cpu(Mword, Cpu_number) {}
   void ack(Mword) { /* ack is empty */ }
+
+private:
+  Usb_dwc_otg _usb;
 };
 
 PUBLIC
@@ -97,6 +177,11 @@ Irq_chip_bcm::irq_handler()
         {
           b = 0;
           p = read<Mword>(Irq_pending_1);
+          if(p==8){
+            if(_usb.handle_sof()){
+              return;
+            }
+          }
         }
       else if (p & 0x200)
         {

make run/usb_hid

KERNEL: Warning: kicked: 0 filtered: 0  triggered: 7950
KERNEL: Warning: kicked: 0 filtered: 0  triggered: 15900
KERNEL: Warning: kicked: 0 filtered: 0  triggered: 23850
KERNEL: Warning: kicked: 0 filtered: 0  triggered: 31800

#define DEBUG_IRQ        1

repos/dde_linux/src/lib/usb/include/lx_emul.h

-- 
Lic. Reinier Millo Sánchez
Centro de Estudios de Informática
Universidad Central "Marta Abreu" de Las Villas

"antes de discutir ... respira;
  antes de hablar ... escucha;
 antes de escribir ... piensa;
  antes de herir ... siente;
 antes de rendirte ... intenta;
  antes de morir ... vive"