ghcb_sync_val
ghcb_sync_val(GHCB_SW_EXITCODE, GHCB_SZ64, &syncout);
ghcb_sync_val(GHCB_SW_EXITINFO1, GHCB_SZ64, &syncout);
ghcb_sync_val(GHCB_SW_EXITINFO2, GHCB_SZ64, &syncout);
ghcb_sync_val(GHCB_SW_SCRATCH, GHCB_SZ64, &syncout);
ghcb_sync_val(GHCB_RAX, valsz, &syncout);
ghcb_sync_val(GHCB_RAX, valsz, &syncin);
ghcb_sync_val(GHCB_SW_EXITCODE, GHCB_SZ64, &syncout);
ghcb_sync_val(GHCB_SW_EXITINFO1, GHCB_SZ64, &syncout);
ghcb_sync_val(GHCB_SW_EXITINFO2, GHCB_SZ64, &syncout);
ghcb_sync_val(GHCB_RAX, GHCB_SZ32, &syncout);
ghcb_sync_val(GHCB_RCX, GHCB_SZ32, &syncout);
ghcb_sync_val(GHCB_RAX, GHCB_SZ32, &syncin);
ghcb_sync_val(GHCB_RBX, GHCB_SZ32, &syncin);
ghcb_sync_val(GHCB_RCX, GHCB_SZ32, &syncin);
ghcb_sync_val(GHCB_RDX, GHCB_SZ32, &syncin);
ghcb_sync_val(GHCB_RAX, GHCB_SZ32, &syncout);
ghcb_sync_val(GHCB_RCX, GHCB_SZ32, &syncout);
ghcb_sync_val(GHCB_RDX, GHCB_SZ32, &syncout);
ghcb_sync_val(GHCB_RCX, GHCB_SZ32, &syncout);
ghcb_sync_val(GHCB_RAX, GHCB_SZ32, &syncin);
ghcb_sync_val(GHCB_RDX, GHCB_SZ32, &syncin);
ghcb_sync_val(GHCB_RAX, GHCB_SZ16, &syncout);
ghcb_sync_val(GHCB_RAX, GHCB_SZ16, &syncin);
ghcb_sync_val(GHCB_RAX, GHCB_SZ8, &syncin);
ghcb_sync_val(GHCB_RAX, GHCB_SZ8, &syncout);
ghcb_sync_val(GHCB_RAX, GHCB_SZ8, &syncin);
ghcb_sync_val(GHCB_RAX, GHCB_SZ32, &syncin);
ghcb_sync_val(GHCB_RAX, GHCB_SZ8, &syncout);
ghcb_sync_val(GHCB_RAX, GHCB_SZ32, &syncout);
ghcb_sync_val(GHCB_SW_EXITCODE, GHCB_SZ64, &syncout);
ghcb_sync_val(GHCB_SW_EXITINFO1, GHCB_SZ64, &syncout);
ghcb_sync_val(GHCB_SW_EXITINFO2, GHCB_SZ64, &syncout);
void ghcb_sync_val(int, int, struct ghcb_sync *);