xen_init_setup_upcall_vector
static __init void xen_init_setup_upcall_vector(void)
static inline void xen_init_setup_upcall_vector(void) {}