lgrp_plat_msct_domains
node_cnt = lgrp_plat_msct_domains(mp, prox_domain_min);
static int lgrp_plat_msct_domains(ACPI_TABLE_MSCT *tp,