ghcb_sync_out
ghcb_sync_out(NULL, &ghcb_regs, ghcb, &syncout);
ghcb_sync_out(&frame, &ghcb_regs, ghcb, &syncout);
ghcb_sync_out(frame, &ghcb_regs, ghcb, &syncout);
void ghcb_sync_out(struct trapframe *, const struct ghcb_extra_regs *,