diff options
Diffstat (limited to 'include/bl31/interrupt_mgmt.h')
-rw-r--r-- | include/bl31/interrupt_mgmt.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/include/bl31/interrupt_mgmt.h b/include/bl31/interrupt_mgmt.h index 0b24f39a..3a2c00c2 100644 --- a/include/bl31/interrupt_mgmt.h +++ b/include/bl31/interrupt_mgmt.h @@ -117,12 +117,12 @@ typedef uint64_t (*interrupt_type_handler_t)(uint32_t id, /******************************************************************************* * Function & variable prototypes ******************************************************************************/ -extern uint32_t get_scr_el3_from_routing_model(uint32_t security_state); -extern int32_t set_routing_model(uint32_t type, uint32_t flags); -extern int32_t register_interrupt_type_handler(uint32_t type, - interrupt_type_handler_t handler, - uint32_t flags); -extern interrupt_type_handler_t get_interrupt_type_handler(uint32_t interrupt_type); +uint32_t get_scr_el3_from_routing_model(uint32_t security_state); +int32_t set_routing_model(uint32_t type, uint32_t flags); +int32_t register_interrupt_type_handler(uint32_t type, + interrupt_type_handler_t handler, + uint32_t flags); +interrupt_type_handler_t get_interrupt_type_handler(uint32_t interrupt_type); #endif /*__ASSEMBLY__*/ #endif /* __INTERRUPT_MGMT_H__ */ |