ghcb_io_write_1
ghcb_io_write_1(h + o, v);
ghcb_io_write_1(h + o, ptr[i]);
ghcb_io_write_1(h + o + i, ptr[i]);
ghcb_io_write_1(addr, v);
ghcb_io_write_1(addr + i, v);
ghcb_io_write_1(addr2 + i, ghcb_io_read_1(addr1 + i));
ghcb_io_write_1(addr2 + i - 1,