| 612 | /* implementing interface defined in cpu_info.h */ |
| 613 | |
| 614 | int create_cpu_device(const char* dev_name, const struct cpu_info* device) |
| 615 | { |
| 616 | CPUDevice* new_dev = new CPUDevice(dev_name, device); |
| 617 | CPUDriver* cpu_driver = dynamic_cast<CPUDriver*>(DriverManager::GetDriver("CPU")); |
| 618 | |
| 619 | cpu_driver->AddDevice(new_dev); |
| 620 | |
| 621 | DriverManager::LoadDevice(cpu_driver, new_dev); |
| 622 | |
| 623 | if(!DriverManager::HasDefaultDevice()) |
| 624 | { |
| 625 | // set it as default device |
| 626 | DriverManager::SetDefaultDevice(new_dev); |
| 627 | } |
| 628 | |
| 629 | return 0; |
| 630 | } |
| 631 | |
| 632 | const struct cpu_info* get_cpu_info(const char* dev_name) |
| 633 | { |