GHCB_SW_EXITINFO1
ghcb_valbm_isset(bm, GHCB_SW_EXITINFO1) &&
(ghcb_valbm_isset(expected_bm, GHCB_SW_EXITINFO1) &&
!ghcb_valbm_isset(valid_bm, GHCB_SW_EXITINFO1)) ||
case GHCB_SW_EXITINFO1:
if (ghcb_valbm_isset(gsout->valid_bitmap, GHCB_SW_EXITINFO1))
ghcb_sync_val(GHCB_SW_EXITINFO1, GHCB_SZ64, &syncout);
ghcb_sync_val(GHCB_SW_EXITINFO1, GHCB_SZ64, &syncout);
ghcb_sync_val(GHCB_SW_EXITINFO1, GHCB_SZ64, &syncout);
ghcb_valbm_set(expected_bm, GHCB_SW_EXITINFO1);
ghcb_valbm_set(valid_bm, GHCB_SW_EXITINFO1);
if (ghcb_valbm_isset(valid_bm, GHCB_SW_EXITINFO1))