Use CONFIG_ variables instead of configuration definitions
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