Function get_cpu_info

driver/cpu/cpu_driver.cpp:632–642

}

const struct cpu_info* get_cpu_info(const char* dev_name)
{
    CPUDevice* cpu_dev = dynamic_cast<CPUDevice*>(DriverManager::GetDevice(dev_name));

    if(cpu_dev == nullptr)
        return NULL;

    const CPUInfo* cpu_info = cpu_dev->GetCPUInfo();

    return &cpu_info->dev;
}

static int set_default_cpu(const int* cpu_list, int cpu_number)
{