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