Sephe, + KASSERT(cpuid >= 0 || cpuid < ncpus, + ("nexus invalid cpuid %d:\n", cpuid)); Shouldn't this be an && instead? Cheers, Nuno