Change all references of num_cpus -> num_cores
[akaros.git] / kern / arch / x86 / ros / mmu.h
2015-02-16 Barret RhodenFinishes removal of x86_32 (XCC)
2013-06-12 Barret RhodenSplits x86 into 32 and 64 bit (XCC)
2013-06-07 Barret RhodenChanges ARCH i686 -> x86 (XCC)