- .hid = "GPIO";
- new-res Mmio(0x48004000 .. 0x48004fff);
- new-res Mmio(0x48310000 .. 0x48310fff);
- new-res Mmio(0x49050000 .. 0x49050fff);
- new-res Mmio(0x49052000 .. 0x49052fff);
- new-res Mmio(0x49054000 .. 0x49054fff);
- new-res Mmio(0x49056000 .. 0x49056fff);
- new-res Mmio(0x49058000 .. 0x49058fff);
- }
+ hid = "GPIO"; -- FIXME: should be "OMAP GPIO" or something
+ Res.mmio(0x48004000, 0x48004fff);
+ Res.mmio(0x48310000, 0x48310fff);
+ Res.mmio(0x49050000, 0x49050fff);
+ Res.mmio(0x49052000, 0x49052fff);
+ Res.mmio(0x49054000, 0x49054fff);
+ Res.mmio(0x49056000, 0x49056fff);
+ Res.mmio(0x49058000, 0x49058fff);
+ },