x86: even faster core_id()s with segmentation
[akaros.git] / arch
1 kern/arch/