Coverity bug fixes

Author: Oren Cohen

components/TARGET_PSA/spm/COMPONENT_SPE/spm_common.c

@@ -19,7 +19,6 @@
 #include "psa_defs.h"
 #include "spm_internal.h"
 #include "spm_panic.h"
-#include "spm_api.h"
 
 bool core_util_atomic_cas_u8(volatile uint8_t *ptr, uint8_t *expectedCurrentValue, uint8_t desiredValue);
 

components/TARGET_PSA/spm/COMPONENT_SPM_MAILBOX/COMPONENT_NSPE/spm_client_proxy.c

@@ -24,7 +24,6 @@
 #include "ipc_queue.h"
 #include "spm_client.h"
 #include "spm_messages.h"
-#include "mbed_critical.h"
 #include "mbed_assert.h"
 #include "cmsis_os2.h"
 #include "rtx_lib.h"

components/TARGET_PSA/spm/COMPONENT_SPM_MAILBOX/COMPONENT_NSPE/spm_mailbox_nspe.c

@@ -80,7 +80,7 @@ void spm_ipc_mailbox_init(void)
 
     // This table is holding addresses of the platform's shared memory.
     addr_table_t *shared_addr_table_ptr = (addr_table_t *)PSA_SHARED_RAM_START;
-    MBED_ASSERT(shared_addr_table_ptr->magic = ADDR_TABLE_MAGIC);
+    MBED_ASSERT(shared_addr_table_ptr->magic == ADDR_TABLE_MAGIC);
 
     ipc_base_queue_t *tx_queue_mem_ptr = (ipc_base_queue_t *)(shared_addr_table_ptr->tx_queue_ptr);
     MBED_ASSERT(tx_queue_mem_ptr->magic == IPC_QUEUE_BASE_MAGIC);