kernel: scheduling fix for ARM

[minix.git] / kernel / cpulocals.c

#include "kernel/kernel.h"

DEFINE_CPULOCAL_VARS;