_ghcb_mem_rw
void _ghcb_mem_rw(vaddr_t, int, void *, bool);
_ghcb_mem_rw(addr, GHCB_SZ8, &val, true);
_ghcb_mem_rw(addr, GHCB_SZ16, &val, true);
_ghcb_mem_rw(addr, GHCB_SZ32, &val, true);
_ghcb_mem_rw(addr, GHCB_SZ64, &val, true);
_ghcb_mem_rw(addr, GHCB_SZ8, &v, false);
_ghcb_mem_rw(addr, GHCB_SZ16, &v, false);
_ghcb_mem_rw(addr, GHCB_SZ32, &v, false);
_ghcb_mem_rw(addr, GHCB_SZ64, &v, false);