Symbol: kvmppc_gsid_mask