すみません、最初の宣言部分がおもいっきり間違えていました。

正しくは、こうなります。

unsigned int *p = malloc( ( 1 << 16 ) * sizeof( uint ) );
unsigned int *last = 0;

このときに、変数 i のループ内の部分、

*( uint ** )( p + i ) = last;
last = p + i;

特に最初の*( uint ** )( p + i ) が頭の中でパーズできません。。。