そのあと本体設定のデータマネジメントでmicroSDの空き容量見てみたら見事合致してたので計算はあってた。やったね！ 取得に使ったオリジナル関数の名前は「GET_SDMC_SPACE」。 「SDMC」とは「SDメモリーカード」のこと。