results           155 modules/cpuinfo_v5.c void __attribute__((naked,noinline)) cpuinfo_get_info(unsigned *results) {
results           539 modules/cpuinfo_v7.c void __attribute__((naked,noinline)) cpuinfo_get_info_pmsa(unsigned *results) {
results          1010 modules/cpuinfo_v7.c void __attribute__((naked,noinline)) cpuinfo_get_info_vmsa(unsigned *results) {