xc_init_cpu
xc_init_cpu(CPU); /* initialize processor crosscalls */
xc_init_cpu(cp);
extern void xc_init_cpu(struct cpu *);