../ sound/ 08-Jan-2015 09:44 - acpi_quirks2h.awk 14-May-2014 22:08 4349 fw_stub.awk 30-Nov-2019 20:06 6249 makeobjops.awk 25-Jan-2016 12:48 11776 miidevs2h.awk 27-Nov-2013 04:43 5198 pccarddevs2h.awk 27-Nov-2013 04:43 5947 pcidevs2h.awk 27-Nov-2013 04:43 3658 usbdevs2h.awk 23-Aug-2013 23:33 6049