29struct cpuid_driver_t* cpu_cpuid_driver_open_core(
unsigned core_num);
30int cpu_read_arm_register_32b(
struct cpuid_driver_t* driver, reg_request_t request, uint32_t* result);
31int cpu_read_arm_register_64b(
struct cpuid_driver_t* driver, reg_request_t request, uint64_t* result);
32int cpu_cpuid_driver_close(
struct cpuid_driver_t* drv);