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