store_sti_val
ptr = store_sti_val(sti, ptr, sti->regions_phys[i]);
store_sti_val(sti, dest, STI_PTR(ptr))