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