diff --git a/sw/device/lib/base/memory.h b/sw/device/lib/base/memory.h
index c4a1682..d895dd5 100644
--- a/sw/device/lib/base/memory.h
+++ b/sw/device/lib/base/memory.h
@@ -18,7 +18,7 @@
 #include <stdint.h>
 
 // NB: --mabi=cheriot-baremetal generates direct C calls & unmangled symbols
-#ifdef _CHERIOT_BAREMETAL_
+#ifdef __CHERIOT_BAREMETAL__
 #undef  __cheri_libcall
 #define __cheri_libcall
 #endif