Thanks! Len can you take this one, pls. On Wednesday 17 September 2008 04:48:19 roel kluin wrote: > Thomas Renninger wrote: > > On Monday 15 September 2008 22:26:45 Valdis.Kletnieks@xxxxxx wrote: > >> On Mon, 15 Sep 2008 21:32:20 EDT, roel kluin said: ... > > pr->id is unsigned > > Signed-off-by: Roel Kluin <roel.kluin@xxxxxxxxx> Signed-off-by: Thomas Renninger <trenn@xxxxxxx> > --- > diff --git a/drivers/acpi/processor_core.c b/drivers/acpi/processor_core.c > index ee68ac5..9f203d3 100644 > --- a/drivers/acpi/processor_core.c > +++ b/drivers/acpi/processor_core.c > @@ -667,7 +667,7 @@ static int __cpuinit acpi_processor_start(struct > acpi_device *device) return 0; > } > > - BUG_ON((pr->id >= nr_cpu_ids) || (pr->id < 0)); > + BUG_ON(pr->id >= nr_cpu_ids); > > /* > * Buggy BIOS check -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html