#include <kern/kfile.h>
-#include <cpu/relax.h> /* cpu_relax() */
+#include <cpu/power.h> /* cpu_relax() */
-#warning FIXME:This file was change, but is untest!
+#warning FIXME:This file was changed, but is untested!
/**
* Wait until flash memory is ready.
*/
flash25_waitReady(fd);
- DB(kprintf("Erased sector [%ld] in %d ms\n", sector, ticks_to_ms(timer_clock() - start_time)));
-
+ DB(kprintf("Erased sector [%ld] in %ld ms\n", (unsigned long)sector, (unsigned long)ticks_to_ms(timer_clock() - start_time)));
}
/**