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