smdk6400: Use CONFIG_FLASH_CFI_DRIVER

[u-boot] / board / armadillo / flash.c

diff --git a/board/armadillo/flash.c b/board/armadillo/flash.c
index 037a6430dabd7548efa9900fc1da86cfa758e88a..8518856cb1c3566c062893cb595a2ee5d1864f1a 100644 (file)
--- a/board/armadillo/flash.c
+++ b/board/armadillo/flash.c
@@ -279,7 +279,7 @@ int write_buff (flash_info_t * info, uchar * src, ulong addr, ulong cnt)
        int i, rc;
 
        wp = (addr & ~1);       /* get lower word aligned address */
-       printf ("Writing %d short data to 0x%p from 0x%p.\n ", cnt, wp, src);
+       printf ("Writing %lu short data to 0x%lx from 0x%p.\n ", cnt, wp, src);
 
        /*
         * handle unaligned start bytes