PLAT_ECC_INTERRUPT_RECEIVED
msg->ecc_msg_status = PLAT_ECC_INTERRUPT_RECEIVED;
if (msg->ecc_msg_status == PLAT_ECC_INTERRUPT_RECEIVED) {