dev_list_cpu_insert
dev_list_cpu_insert(&ap->cpus, cpu, cpuid);
static void dev_list_cpu_insert(ri_dev_t **, ri_dev_t *, processorid_t);