ghcb_mem_read_1
return ghcb_mem_read_1(h + o);
ptr[i] = ghcb_mem_read_1(h + o);
ptr[i] = ghcb_mem_read_1(h + o + i);
ghcb_mem_read_1(addr1 + i));
ghcb_mem_read_1(addr1 + i - 1));