HelenOS sources

cpu_info_t         61 kernel/arch/amd64/include/arch/cpuid.h extern void cpuid(uint32_t cmd, cpu_info_t *info);
cpu_info_t         76 kernel/arch/amd64/include/arch/mm/pat.h 	cpu_info_t info;
cpu_info_t        105 kernel/arch/amd64/src/cpu/cpu.c 	cpu_info_t info;
cpu_info_t        108 kernel/arch/ia32/include/arch/cpuid.h static inline void cpuid(uint32_t cmd, cpu_info_t *info)
cpu_info_t         76 kernel/arch/ia32/include/arch/mm/pat.h 	cpu_info_t info;
cpu_info_t         83 kernel/arch/ia32/src/cpu/cpu.c 	cpu_info_t info;
cpu_info_t        118 kernel/arch/ia32/src/cpu/cpu.c 	cpu_info_t info;