diff --git a/hypervisor/include/debug/profiling.h b/hypervisor/include/debug/profiling.h
index c1af9b0bb..052c11625 100644
--- a/hypervisor/include/debug/profiling.h
+++ b/hypervisor/include/debug/profiling.h
@@ -8,20 +8,11 @@
 #define PROFILING_H
 
 #ifdef PROFILING_ON
-
 #include <profiling_internal.h>
+#endif
 
 void profiling_vmenter_handler(struct acrn_vcpu *vcpu);
 void profiling_vmexit_handler(struct acrn_vcpu *vcpu, uint64_t exit_reason);
 void profiling_setup(void);
 
-#else
-
-static inline void profiling_vmenter_handler(__unused struct acrn_vcpu *vcpu) {}
-static inline void profiling_vmexit_handler(__unused struct acrn_vcpu *vcpu,
-	__unused uint64_t exit_reason) {}
-static inline void profiling_setup(void) {}
-
-#endif
-
 #endif /* PROFILING_H */
diff --git a/hypervisor/release/profiling.c b/hypervisor/release/profiling.c
new file mode 100644
index 000000000..1f5a9b991
--- /dev/null
+++ b/hypervisor/release/profiling.c
@@ -0,0 +1,11 @@
+/*
+ * Copyright (C) 2018 Intel Corporation. All rights reserved.
+ *
+ * SPDX-License-Identifier: BSD-3-Clause
+ */
+
+#include <hypervisor.h>
+
+void profiling_vmenter_handler(__unused struct acrn_vcpu *vcpu) {}
+void profiling_vmexit_handler(__unused struct acrn_vcpu *vcpu, __unused uint64_t exit_reason) {}
+void profiling_setup(void) {}