1
2
3
4
5
6
7
8
9
10
11
12
13
14
15#include <linux/types.h>
16#include <linux/pci.h>
17#include <linux/time.h>
18#include <asm/platform.h>
19#include <asm/timex.h>
20#include <asm/param.h>
21
22#define _F(r,f,a,b) \
23 r __platform_##f a b; \
24 r platform_##f a __attribute__((weak, alias("__platform_"#f)))
25
26
27
28
29
30
31_F(void, setup, (char** cmd), { });
32_F(void, restart, (void), { while(1); });
33_F(void, halt, (void), { while(1); });
34_F(void, power_off, (void), { while(1); });
35_F(void, idle, (void), { __asm__ __volatile__ ("waiti 0" ::: "memory"); });
36_F(void, heartbeat, (void), { });
37_F(int, pcibios_fixup, (void), { return 0; });
38_F(void, pcibios_init, (void), { });
39
40#ifdef CONFIG_XTENSA_CALIBRATE_CCOUNT
41_F(void, calibrate_ccount, (void),
42{
43 pr_err("ERROR: Cannot calibrate cpu frequency! Assuming 10MHz.\n");
44 ccount_freq = 10 * 1000000UL;
45});
46#endif
47