diff --git a/core/tee/tee_rpmb_fs.c b/core/tee/tee_rpmb_fs.c
index 7e6c8b426a6..0ed30933b3f 100644
--- a/core/tee/tee_rpmb_fs.c
+++ b/core/tee/tee_rpmb_fs.c
@@ -1518,35 +1518,6 @@ static TEE_Result tee_rpmb_write(uint16_t dev_id, uint32_t addr,
 	return res;
 }
 
-/*
- * Read the RPMB write counter.
- *
- * @dev_id     Device ID of the eMMC device.
- * @counter    Pointer to the counter.
- */
-static TEE_Result tee_rpmb_get_write_counter(uint16_t dev_id,
-					     uint32_t *counter)
-{
-	TEE_Result res = TEE_SUCCESS;
-
-	if (!counter)
-		return TEE_ERROR_BAD_PARAMETERS;
-
-	if (rpmb_dead)
-		return TEE_ERROR_COMMUNICATION;
-
-	if (!rpmb_ctx || !rpmb_ctx->wr_cnt_synced) {
-		res = tee_rpmb_init(dev_id);
-		if (res != TEE_SUCCESS)
-			goto func_exit;
-	}
-
-	*counter = rpmb_ctx->wr_cnt;
-
-func_exit:
-	return res;
-}
-
 /*
  * Read the RPMB max block.
  *