infplgif          118 arch/s390/kernel/sthyi.c 	u32 infplgif;
infplgif          355 arch/s390/kernel/sthyi.c 	sctns->par.infplgif = scale_cap(lpar_inf.ifl.lpar_grp_cap);