HelenOS sources

cpu_arch_t         83 kernel/arch/arm32/src/cpu/cpu.c static const char *architecture_string(cpu_arch_t *arch)
cpu_arch_t        106 kernel/arch/arm32/src/cpu/cpu.c static void arch_cpu_identify(cpu_arch_t *cpu)
cpu_arch_t         46 kernel/arch/ppc32/include/arch/cpu.h _NO_TRACE static inline void cpu_version(cpu_arch_t *info)
cpu_arch_t        115 kernel/generic/include/cpu.h 	cpu_arch_t arch;
HelenOS homepage, sources at GitHub