ghcb_io_write_4
ghcb_io_write_4(h + o, v);
ghcb_io_write_4(h + o, ptr[i]);
ghcb_io_write_4(h + o + 4 * i, ptr[i]);
ghcb_io_write_4(addr, v);
ghcb_io_write_4(addr + 4 * i, v);
ghcb_io_write_4(addr2 + 4 * i,
ghcb_io_write_4(addr2 + 4 * (i - 1),