Searched defs:ets_update_cpu_frequency (Results 1 – 20 of 20) sorted by relevance
33 ets_update_cpu_frequency = 0x40000048; symbol
43 ets_update_cpu_frequency = 0x40000044; symbol
44 ets_update_cpu_frequency = 0x40000048; symbol
158 PROVIDE ( ets_update_cpu_frequency = 0x40002f04 ); symbol
43 ets_update_cpu_frequency = 0x4fc00044; symbol
379 ets_update_cpu_frequency = 0x40000590; symbol
358 PROVIDE ( ets_update_cpu_frequency = 0x4000d8a4 ); symbol
462 ets_update_cpu_frequency = 0x400007c8; symbol
206 PROVIDE ( ets_update_cpu_frequency = 0x40008550 ); symbol
368 ets_update_cpu_frequency = 0x40000584; symbol
370 ets_update_cpu_frequency = 0x40000588; symbol
483 ets_update_cpu_frequency = 0x40001a4c; symbol
507 PROVIDE ( ets_update_cpu_frequency = 0x40043164 ); symbol
437 ets_update_cpu_frequency = 0x40000774; symbol
319 PROVIDE ( ets_update_cpu_frequency = 0x4000d8a4 ); symbol
354 ets_update_cpu_frequency = 0x40000588; symbol
424 ets_update_cpu_frequency = 0x40000774; symbol
469 ets_update_cpu_frequency = 0x40001a4c; symbol