sc_cpu             80 dev/acpi/acpicpu.c 	int			sc_cpu;
sc_cpu            196 dev/acpi/acpicpu.c 	dprintf("acpicpu%d: C%d not supported", sc->sc_cpu, type);
sc_cpu            252 dev/acpi/acpicpu.c 			sc->sc_cpu = res.v_processor.proc_id;