12345678910111213141516171819202122232425262728293031323334353637383940414243 |
- #include <linux/printk.h>
- #include <linux/types.h>
- #include <asm/platform.h>
- #include <asm/timex.h>
- #define _F(r,f,a,b) \
- r __platform_##f a b; \
- r platform_##f a __attribute__((weak, alias("__platform_"#f)))
- _F(void, init, (bp_tag_t *first), { });
- _F(void, setup, (char** cmd), { });
- _F(void, restart, (void), { while(1); });
- _F(void, halt, (void), { while(1); });
- _F(void, power_off, (void), { while(1); });
- _F(void, idle, (void), { __asm__ __volatile__ ("waiti 0" ::: "memory"); });
- _F(void, heartbeat, (void), { });
- #ifdef CONFIG_XTENSA_CALIBRATE_CCOUNT
- _F(void, calibrate_ccount, (void),
- {
- pr_err("ERROR: Cannot calibrate cpu frequency! Assuming 10MHz.\n");
- ccount_freq = 10 * 1000000UL;
- });
- #endif
|