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