| Message ID | 512D8B32.1000905@asianux.com (mailing list archive) |
|---|---|
| State | Accepted, archived |
| Headers | show |
diff --git a/drivers/acpi/processor_driver.c b/drivers/acpi/processor_driver.c index df34bd0..bec717f 100644 --- a/drivers/acpi/processor_driver.c +++ b/drivers/acpi/processor_driver.c @@ -559,7 +559,7 @@ static int __cpuinit acpi_processor_add(struct acpi_device *device) return 0; #endif - BUG_ON((pr->id >= nr_cpu_ids) || (pr->id < 0)); + BUG_ON(pr->id >= nr_cpu_ids); /* * Buggy BIOS check
pr->id is u32 which never < 0 Signed-off-by: Chen Gang <gang.chen@asianux.com> --- drivers/acpi/processor_driver.c | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)