ZPCI_TABLE_TYPE_RFX
if ((entry & ZPCI_TABLE_TYPE_MASK) == ZPCI_TABLE_TYPE_RFX)
case ZPCI_TABLE_TYPE_RFX:
case ZPCI_TABLE_TYPE_RFX:
case ZPCI_TABLE_TYPE_RFX:
s390_domain->origin_type = ZPCI_TABLE_TYPE_RFX;
case ZPCI_TABLE_TYPE_RFX:
*entry |= ZPCI_TABLE_TYPE_RFX;
case ZPCI_TABLE_TYPE_RFX:
case ZPCI_TABLE_TYPE_RFX: