ev_int_set_config
ev_int_set_config(src, vecpri, prio, cpu_dest);
ev_int_set_config(src, config, prio, cpuid);