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