xen_set_upcall_vector
rc = xen_set_upcall_vector(cpu);
BUG_ON(xen_set_upcall_vector(cpu));
!xen_set_upcall_vector(0))
int xen_set_upcall_vector(unsigned int cpu);