| .. | .. |
|---|
| 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 | |
|---|