2011/12/17 Nuno Antunes <nuno.antunes at gmail.com>: > Sephe, > > + KASSERT(cpuid >= 0 || cpuid < ncpus, > + ("nexus invalid cpuid %d:\n", cpuid)); > > Shouldn't this be an && instead? Fixed, thank! Best Regards, sephe > > Cheers, > Nuno -- Tomorrow Will Never Die