diff --git a/src/include/console/uart.h b/src/include/console/uart.h
index f0371a2..6a1251e 100644
--- a/src/include/console/uart.h
+++ b/src/include/console/uart.h
@@ -48,6 +48,13 @@
 unsigned int uart_platform_base(int idx);
 uint32_t uartmem_getbaseaddr(void);
 
+#if !defined(__ROMCC__)
+static inline void *uart_platform_baseptr(int idx)
+{
+	return (void *)uart_platform_base(idx);
+}
+#endif
+
 void oxford_init(void);
 void oxford_remap(unsigned int new_base);