diff --git a/hypervisor/include/debug/serial.h b/hypervisor/include/debug/serial.h
index 8408d7429..f17a5d72d 100644
--- a/hypervisor/include/debug/serial.h
+++ b/hypervisor/include/debug/serial.h
@@ -33,10 +33,14 @@
 
 #ifdef HV_DEBUG
 int serial_init(void);
+void uart16550_set_property(int enabled, int port_mapped, uint64_t base_addr);
 #else
 static inline int serial_init(void) { return 0; }
+static inline void uart16550_set_property(__unused int enabled,
+					__unused int port_mapped,
+					__unused uint64_t base_addr)
+{
+}
 #endif
 
-void uart16550_set_property(int enabled, int port_mapped, uint64_t base_addr);
-
 #endif