Searched refs:cpuinfo_data_t (Results 1 – 1 of 1) sorted by relevance
3113 } cpuinfo_data_t; typedef3116 cpuinfo_walk_ithread(uintptr_t addr, const kthread_t *thr, cpuinfo_data_t *cid) in cpuinfo_walk_ithread()3185 cpuinfo_walk_cpu(uintptr_t addr, const cpu_t *cpu, cpuinfo_data_t *cid) in cpuinfo_walk_cpu()3421 cpuinfo_data_t cid; in cpuinfo()