commit 320950951f0b089f89278949752792b2148228fe
author Adrian Danis <Adrian.Danis@data61.csiro.au> Thu May 25 17:00:35 2017 +1000
committer Adrian Danis <Adrian.Danis@data61.csiro.au> Wed May 31 14:54:05 2017 +1000
tree b8007c8ac3834f014d92d3d3ae7a2b816dd1471e
parent bc2895804a8f92d4d126961f1551281ced34482a

Use CONFIG_ variables instead of configuration definitions

libsel4platsupport/src/io.c

diff --git a/libsel4platsupport/src/io.c b/libsel4platsupport/src/io.c
index 7500d92..c7b6646 100644
--- a/libsel4platsupport/src/io.c
+++ b/libsel4platsupport/src/io.c
@@ -11,7 +11,7 @@
 #include <autoconf.h>
 
 #include <sel4platsupport/io.h>
-#ifdef ARCH_ARM
+#ifdef CONFIG_ARCH_ARM
 #include <platsupport/clock.h>
 #include <platsupport/mux.h>
 #endif
@@ -274,7 +274,7 @@
     if (err) {
         return err;
     }
-#ifdef ARCH_ARM
+#ifdef CONFIG_ARCH_ARM
     clock_sys_init(io_ops, &io_ops->clock_sys);
     mux_sys_init(io_ops, &io_ops->mux_sys);
 #endif