10 #define STATUS_STANDBY 1
11 #define STATUS_DORMANT 2
12 #define STATUS_SHUTDOWN 3
13 #define DORMANT_MODE STATUS_DORMANT
14 #define SHUTDOWN_MODE STATUS_SHUTDOWN
19 #define switch_to_amp() \
24 "MRC p15,0,r0,c1,c0,1\n" \
25 "BIC r0,r0,#0x00000040\n" \
26 "MCR p15,0,r0,c1,c0,1\n" \
35 #define switch_to_smp() \
40 "MRC p15,0,r0,c1,c0,1\n" \
41 "ORR r0,r0,#0x00000040\n" \
42 "MCR p15,0,r0,c1,c0,1\n" \
52 * DORMANT_MODE / SHUTDOWN_MODE
55 * 0 : execute wfi then power down
56 * 1 : wake up and resume
58 extern int cpu_power_down(int mode
);
59 extern void cpu_dormant_init(void);
60 extern void cpu_check_dormant_abort(void);