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