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