summaryrefslogtreecommitdiff
path: root/include/bl31
diff options
context:
space:
mode:
authorRoberto Vargas <roberto.vargas@arm.com>2018-02-12 12:36:17 +0000
committerRoberto Vargas <roberto.vargas@arm.com>2018-02-28 17:18:21 +0000
commit9fb8af33c40f21becde99fc15db73b1f4d82059c (patch)
treec5433a1da3c86590dbe4367c66acf9b987322390 /include/bl31
parent322a98b6322f1b566a5c4ec65fe481dc204b3eb0 (diff)
Fix MISRA rule 8.3 in common code
Rule 8.3: All declarations of an object or function shall use the same names and type qualifiers. Change-Id: Iff384187c74a598a4e73f350a1893b60e9d16cec Signed-off-by: Roberto Vargas <roberto.vargas@arm.com>
Diffstat (limited to 'include/bl31')
-rw-r--r--include/bl31/bl31.h6
-rw-r--r--include/bl31/interrupt_mgmt.h2
2 files changed, 4 insertions, 4 deletions
diff --git a/include/bl31/bl31.h b/include/bl31/bl31.h
index b3567e2e..aac6e289 100644
--- a/include/bl31/bl31.h
+++ b/include/bl31/bl31.h
@@ -1,5 +1,5 @@
/*
- * Copyright (c) 2013-2016, ARM Limited and Contributors. All rights reserved.
+ * Copyright (c) 2013-2018, ARM Limited and Contributors. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*/
@@ -13,10 +13,10 @@
* Function prototypes
******************************************************************************/
void bl31_next_el_arch_setup(uint32_t security_state);
-void bl31_set_next_image_type(uint32_t type);
+void bl31_set_next_image_type(uint32_t security_state);
uint32_t bl31_get_next_image_type(void);
void bl31_prepare_next_image_entry(void);
-void bl31_register_bl32_init(int32_t (*)(void));
+void bl31_register_bl32_init(int32_t (*func)(void));
void bl31_warm_entrypoint(void);
#endif /* __BL31_H__ */
diff --git a/include/bl31/interrupt_mgmt.h b/include/bl31/interrupt_mgmt.h
index d41edd09..905dcd66 100644
--- a/include/bl31/interrupt_mgmt.h
+++ b/include/bl31/interrupt_mgmt.h
@@ -124,7 +124,7 @@ 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);
+interrupt_type_handler_t get_interrupt_type_handler(uint32_t type);
int disable_intr_rm_local(uint32_t type, uint32_t security_state);
int enable_intr_rm_local(uint32_t type, uint32_t security_state);