kvmppc_gsid_mask
u64 kvmppc_gsid_mask(u16 iden);
val &= kvmppc_gsid_mask(iden);
val &= kvmppc_gsid_mask(iden);
val &= kvmppc_gsid_mask(iden);
EXPORT_SYMBOL_GPL(kvmppc_gsid_mask);