nexus/intr: Properly assert cpuid for interrupt resources

Noticed-by: Nuno Antunes

diff --git a/sys/platform/pc32/i386/nexus.c b/sys/platform/pc32/i386/nexus.c
index 92cb4a5..0135d5b 100644 (file)
--- a/sys/platform/pc32/i386/nexus.c
+++ b/sys/platform/pc32/i386/nexus.c
@@ -355,7 +355,7 @@ nexus_alloc_resource(device_t bus, device_t child, int type, int *rid,
 
        switch (type) {
        case SYS_RES_IRQ:
-               KASSERT(cpuid >= 0 || cpuid < ncpus,
+               KASSERT(cpuid >= 0 && cpuid < ncpus,
                    ("nexus invalid cpuid %d:\n", cpuid));
                rm = &irq_rman[cpuid];
                break;

diff --git a/sys/platform/pc64/x86_64/nexus.c b/sys/platform/pc64/x86_64/nexus.c
index 156b9b6..020f30f 100644 (file)
--- a/sys/platform/pc64/x86_64/nexus.c
+++ b/sys/platform/pc64/x86_64/nexus.c
@@ -351,7 +351,7 @@ nexus_alloc_resource(device_t bus, device_t child, int type, int *rid,
 
        switch (type) {
        case SYS_RES_IRQ:
-               KASSERT(cpuid >= 0 || cpuid < ncpus,
+               KASSERT(cpuid >= 0 && cpuid < ncpus,
                    ("nexus invalid cpuid %d:\n", cpuid));
                rm = &irq_rman[cpuid];
                break;