x86: fixes early core_id() calls
[akaros.git] / kern / arch / x86 / trapentry32.S
2013-06-12 Barret RhodenSplits x86 into 32 and 64 bit (XCC)