visual-studio-code - VScode C プログラムから Raspberry Pi Pico で使用可能な RAM を確認するにはどうすればよいですか?

Question

Pico 上の VScode C プログラムが使用可能な RAM を決定するためのライブラリ関数またはその他の方法はありますか? (試行以外malloc()) SDK の API ドキュメントを確認しましたが、何も見つかりませんでした。