From 65233802f0c317bb518f8b28d7437b2ae5154e68 Mon Sep 17 00:00:00 2001 From: "Li, Fei1" Date: Thu, 22 Mar 2018 16:44:56 +0800 Subject: [PATCH] Minor cleanup not to use uart for release on platform uefi Signed-off-by: Li, Fei1 --- include/debug/serial.h | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/include/debug/serial.h b/include/debug/serial.h index 8408d7429..f17a5d72d 100644 --- a/include/debug/serial.h +++ b/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