NintendoDS(NDS)非公式開発 Part2

スタンダードライブラリのソースコードがどこにあるかわからなかったのでここで聞かせてください。
libnds使っているんだけれど、mallocもしくはnewする場合ってメモリがどこから確保されるの？

GBATEK見る限りだとNDS9の02000000hからの4MBがそれっぽいけど、
0x2000000から0x3000000って16MBあるよね？
残りの8MBはマップされてない領域なのかな。