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