Splits x86 into 32 and 64 bit (XCC)
[akaros.git] / user / parlib / include / x86 /
drwxr-xr-x   ..
-rw-r--r-- 2602 arch.h
-rw-r--r-- 2903 atomic.h
-rw-r--r-- 2488 bitmask.h
-rw-r--r-- 174 vcore.h
-rw-r--r-- 17519 vcore32.h
-rw-r--r-- 17575 vcore64.h