Use vmap_pmem
[akaros.git] / kern / arch / x86 / coreid.h
2014-03-01 Ronald G. MinnichSplits x86 arch for circular deps