d30e0db53a
I don't think it is really necessary because the cpumask is known to be != 0, but it is just in case. Requested by: kib |
||
---|---|---|
.. | ||
acpica | ||
bios | ||
compile | ||
conf | ||
i386 | ||
ibcs2 | ||
include | ||
isa | ||
linux | ||
pci | ||
svr4 | ||
xbox | ||
xen | ||
Makefile |