Replace cpu_mb1() and cpu_mb2() with cpu_mfence(), cpu_lfence(), cpu_sfence(),
[dragonfly.git] / sys / platform /
drwxr-xr-x   ..
drwxr-xr-x - pc32
drwxr-xr-x - vkernel