GLOBAL_MEM2_AVAIL_END
mem2_end = in32(GLOBAL_MEM2_AVAIL_END) & ~0x80000000;
out32(GLOBAL_MEM2_AVAIL_END, 0);