.. | .. |
---|
93 | 93 | /* For use by arch code when CPU hotplug notifiers are not appropriate. */ |
---|
94 | 94 | int sdei_mask_local_cpu(void); |
---|
95 | 95 | int sdei_unmask_local_cpu(void); |
---|
| 96 | +void __init sdei_init(void); |
---|
| 97 | +void sdei_handler_abort(void); |
---|
96 | 98 | #else |
---|
97 | 99 | static inline int sdei_mask_local_cpu(void) { return 0; } |
---|
98 | 100 | static inline int sdei_unmask_local_cpu(void) { return 0; } |
---|
| 101 | +static inline void sdei_init(void) { } |
---|
| 102 | +static inline void sdei_handler_abort(void) { } |
---|
99 | 103 | #endif /* CONFIG_ARM_SDE_INTERFACE */ |
---|
100 | 104 | |
---|
101 | 105 | |
---|