Searched refs:cpuinfo_data_t (Results 1 – 1 of 1) sorted by relevance
2855 } cpuinfo_data_t; typedef2858 cpuinfo_walk_ithread(uintptr_t addr, const kthread_t *thr, cpuinfo_data_t *cid) in cpuinfo_walk_ithread()2921 cpuinfo_walk_cpu(uintptr_t addr, const cpu_t *cpu, cpuinfo_data_t *cid) in cpuinfo_walk_cpu()3155 cpuinfo_data_t cid; in cpuinfo()