···3131/* issue a PIO read to make sure no PIO writes are pending */3232static void inline flush_crime_bus(void)3333{3434- volatile unsigned long junk = crime->control;3434+ crime->control;3535}36363737static void inline flush_mace_bus(void)3838{3939- volatile unsigned long junk = mace->perif.ctrl.misc;3939+ mace->perif.ctrl.misc;4040}41414242#undef DEBUG_IRQ