i845_tseg_size
return i830_mem_size() - i845_tseg_size() - stolen_size;
return toud * KB(64) + i845_tseg_size();