x86: Uses rbx for the initial vcoreid (XCC)
[akaros.git] / kern / arch / x86 / pmap_ops.h
2015-03-17 Barret Rhodenx86: changes pte_t to be a KPTE and an EPTE
2015-03-17 Barret RhodenSplits pmap ops up for each arch