usched_bsd4_pcpu
typedef struct usched_bsd4_pcpu *bsd4_pcpu_t;
static struct usched_bsd4_pcpu bsd4_pcpu[MAXCPU];