Dynamic cfg: MISRA fixes
Change-Id: I1d85b76af002b8b672fcaeca94939b7420bc8243
Signed-off-by: Soby Mathew <soby.mathew@arm.com>
diff --git a/plat/arm/common/arm_dyn_cfg_helpers.c b/plat/arm/common/arm_dyn_cfg_helpers.c
index afe4453..cfcbf2a 100644
--- a/plat/arm/common/arm_dyn_cfg_helpers.c
+++ b/plat/arm/common/arm_dyn_cfg_helpers.c
@@ -8,6 +8,7 @@
#include <desc_image_load.h>
#include <fdt_wrappers.h>
#include <libfdt.h>
+#include <plat_arm.h>
/*******************************************************************************
* Helper to read the `hw_config` property in config DTB. This function
@@ -31,9 +32,9 @@
{
int err;
- assert(dtb);
- assert(hw_config_addr);
- assert(hw_config_size);
+ assert(dtb != NULL);
+ assert(hw_config_addr != NULL);
+ assert(hw_config_size != NULL);
/* Check if the pointer to DT is correct */
assert(fdt_check_header(dtb) == 0);
@@ -72,8 +73,8 @@
******************************************************************************/
int arm_dyn_tb_fw_cfg_init(void *dtb, int *node)
{
- assert(dtb);
- assert(node);
+ assert(dtb != NULL);
+ assert(node != NULL);
/* Check if the pointer to DT is correct */
if (fdt_check_header(dtb) != 0) {