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