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