get_core_number_within_chip
get_core_number_within_chip(cpu));
get_core_number_within_chip(cpu));
get_core_number_within_chip(sc->sc_cpu));
if (get_core_number_within_chip(BSPID) ==
get_core_number_within_chip(i)) {
get_core_number_within_chip(bsr_member));
get_core_number_within_chip(bsr_member));
pcpu_sysctl[i].core_id = get_core_number_within_chip(i);
int get_core_number_within_chip(int cpuid);
int get_core_number_within_chip(int cpuid);