GHCB_RDX
(ghcb_valbm_isset(expected_bm, GHCB_RDX) &&
!ghcb_valbm_isset(valid_bm, GHCB_RDX)) ||
case GHCB_RDX:
if (ghcb_valbm_isset(gsout->valid_bitmap, GHCB_RDX))
if (ghcb_valbm_isset(gsin->valid_bitmap, GHCB_RDX)) {
ghcb_sync_val(GHCB_RDX, GHCB_SZ32, &syncin);
ghcb_sync_val(GHCB_RDX, GHCB_SZ32, &syncout);
ghcb_sync_val(GHCB_RDX, GHCB_SZ32, &syncin);
ghcb_valbm_set(expected_bm, GHCB_RDX);
if (ghcb_valbm_isset(expected_bm, GHCB_RDX))
ghcb_valbm_set(valid_bm, GHCB_RDX);
ghcb_valbm_set(valid_bm, GHCB_RDX);
if (ghcb_valbm_isset(valid_bm, GHCB_RDX))