(micro)SDカードの空き容量を取得する方法分かった。 とあるプログラムを見たら、Filesの最後に出る「---kbytes free」を切り出せば良いことに気づいたので流用。 出た数値は「キロバイト」単位なので、/128すると「ブロック」単位にできる。

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