Symbol: pseries_msi_allocate_domains