SD Card control on Mbed os5

Please refer following my Notebook page.
/users/kenjiArai/notebook/sd-card-control-new/#

Revision:
4:6d6ea85642ed
Parent:
0:342895df3f8f
Child:
6:7f8bc932cede
--- a/FatFs_Mon/mon.h	Sat Aug 17 03:29:11 2019 +0000
+++ b/FatFs_Mon/mon.h	Tue Dec 24 10:30:40 2019 +0000
@@ -2,14 +2,15 @@
  * mbed Application program for the mbed
  *  FatFs Check program /monitor part
  *
- * Copyright (c) 2015,'18 Kenji Arai / JH1PJL
+ * Copyright (c) 2015,'18,'19 Kenji Arai / JH1PJL
  *  http://www.page.sannet.ne.jp/kenjia/index.html
  *  https://os.mbed.com/users/kenjiArai/
  *      Created:    May        5th, 2015
  *      Revised:    June      14th, 2015
- *      Revised:    April      7th, 2018
+ *      Revised:    December  24th, 2019
  */
 
 //  Function prototypes --------------------------------------------------------
 void mon(void);
 uint32_t get_disk_freespace(void);
+uint32_t get_data_file_size(const char *const file_name);