1 files changed, 0 insertions, 4 deletions

diff --git a/drivers/staging/tidspbridge/pmgr/dspapi.c b/drivers/staging/tidspbridge/pmgr/dspapi.c
index 767ffe270ed..27c14a577dc 100644
--- a/drivers/staging/tidspbridge/pmgr/dspapi.c
+++ b/drivers/staging/tidspbridge/pmgr/dspapi.c
@@ -266,7 +266,6 @@ err:
  */
 void api_exit(void)
 {
-        DBC_REQUIRE(api_c_refs > 0);
         api_c_refs--;
 
         if (api_c_refs == 0) {
@@ -284,7 +283,6 @@ void api_exit(void)
                 rmm_exit();
                 drv_exit();
         }
-        DBC_ENSURE(api_c_refs >= 0);
 }
 
 /*
@@ -382,8 +380,6 @@ int api_init_complete2(void)
         struct drv_data *drv_datap;
         u8 dev_type;
 
-        DBC_REQUIRE(api_c_refs > 0);
-
         /*  Walk the list of DevObjects, get each devnode, and attempting to
          *  autostart the board. Note that this requires COF loading, which
          *  requires KFILE. */