From 5d0aab847ebb2c47e95d854e6fa9973f4c451e0b Mon Sep 17 00:00:00 2001
From: Rajkumar Kanagaraj <rajkumar.kanagaraj@arm.com>
Date: Mon, 2 Mar 2020 09:00:01 -0800
Subject: [PATCH] Remove mbed interface deprecated API

---
 platform/mbed_interface.h    | 4 ----
 platform/source/mbed_board.c | 5 -----
 2 files changed, 9 deletions(-)

diff --git a/platform/mbed_interface.h b/platform/mbed_interface.h
index cb90c95e3b..f6d07381ef 100644
--- a/platform/mbed_interface.h
+++ b/platform/mbed_interface.h
@@ -177,10 +177,6 @@ void mbed_error_vprintf(const char *format, va_list arg) MBED_PRINTF(1, 0);
  */
 void mbed_error_puts(const char *str);
 
-/** @deprecated   Renamed to mbed_error_vprintf to match functionality */
-MBED_DEPRECATED_SINCE("mbed-os-5.11",
-                      "Renamed to mbed_error_vprintf to match functionality.")
-void mbed_error_vfprintf(const char *format, va_list arg) MBED_PRINTF(1, 0);
 /** @}*/
 
 
diff --git a/platform/source/mbed_board.c b/platform/source/mbed_board.c
index b40047a517..93e63adedd 100644
--- a/platform/source/mbed_board.c
+++ b/platform/source/mbed_board.c
@@ -112,8 +112,3 @@ void mbed_error_puts(const char *str)
 #endif
     core_util_critical_section_exit();
 }
-
-void mbed_error_vfprintf(const char *format, va_list arg)
-{
-    mbed_error_vprintf(format, arg);
-}