GLOBAL_MEM2_AVAIL_START
mem2_start = in32(GLOBAL_MEM2_AVAIL_START) & ~0x80000000;
out32(GLOBAL_MEM2_AVAIL_START, 0);