plat_send_ecc_mailbox_msg
ret = plat_send_ecc_mailbox_msg(msg->ecc_msg_type, msg->ecc_msg_data);
(void) plat_send_ecc_mailbox_msg(PLAT_ECC_ERROR_MESSAGE,
(void) plat_send_ecc_mailbox_msg(PLAT_ECC_ERROR2_MESSAGE, &e2d);
extern int plat_send_ecc_mailbox_msg(plat_ecc_message_type_t, void *);