Changes in kernel/genarch/src/drivers/s3c24xx_uart/s3c24xx_uart.c [b366a6f4:adec5b45] in mainline

File:

• kernel/genarch/src/drivers/s3c24xx_uart/s3c24xx_uart.c (modified) (2 diffs)

kernel/genarch/src/drivers/s3c24xx_uart/s3c24xx_uart.c

@@ -45 +45 @@
 #include <mm/slab.h>
 #include <mm/page.h>
+#include <mm/km.h>
 #include <sysinfo/sysinfo.h>
 #include <str.h>
@@ -113 +114 @@
         uart_dev->data = uart;
 
-        uart->io = (s3c24xx_uart_io_t *) hw_map(paddr, PAGE_SIZE);
+        uart->io = (s3c24xx_uart_io_t *) km_map(paddr, PAGE_SIZE,
+            PAGE_WRITE | PAGE_NOT_CACHEABLE);
         uart->indev = NULL;