ghcb_mem_read_8
return ghcb_mem_read_8(h + o);
ptr[i] = ghcb_mem_read_8(h + o);
ptr[i] = ghcb_mem_read_8(h + o + 8 * i);
ghcb_mem_read_8(addr1 + 8 * i));
ghcb_mem_read_8(addr1 + 8 * (i - 1)));