sys/dev/drm/include/asm/smp.h sys/dev/drm/include/linux/smp.h sys/platform/pc64/include/smp.h sys/platform/vkernel64/include/smp.h
