set_mem_bounds
set_mem_bounds(tag, 1, 0x00000000, (128 << 20) - 1);
set_mem_bounds(tag, 1, 0x00000000, 0x03ffffff);