fake_vmewrite32
fake_vmewrite32(bridge, (u32 *)(buf + done),
fake_vmewrite32(bridge, &tmp, base + offset, aspace, cycle);