diff options
| -rw-r--r-- | src/cpu/x86/pae/pgtbl.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cpu/x86/pae/pgtbl.c b/src/cpu/x86/pae/pgtbl.c index 935473828c..9be415d8de 100644 --- a/src/cpu/x86/pae/pgtbl.c +++ b/src/cpu/x86/pae/pgtbl.c @@ -61,7 +61,7 @@ void *map_2M_page(unsigned long page) void *result; int i; index = cpu_index(); - if ((index < 0) || (index >= CONFIG_MAX_CPUS)) { + if (index >= CONFIG_MAX_CPUS) { return MAPPING_ERROR; } window = page >> 10; |