#include <sys/param.h>
#include <sys/types.h>
#include <sys/pcpu.h>

DPCPU_DEFINE(int, x);
static DPCPU_DEFINE(int, y);
static DPCPU_DEFINE(int, z) = 2;
DPCPU_DEFINE(int, w) = 3;