#include "kernel/kernel.h"

DEFINE_CPULOCAL_VARS;