tidy(ff-a): direct messaging handling logs
Add logs to the handling direct messaging requests to provide
information in case of an error.
Change-Id: Idb88c8cd7c319d6758b1227e4f79a7d8713e548d
Signed-off-by: J-Alves <joao.alves@arm.com>
diff --git a/src/api.c b/src/api.c
index 5915001..56b8bc2 100644
--- a/src/api.c
+++ b/src/api.c
@@ -1996,6 +1996,7 @@
receiver_vm = vm_find(receiver_vm_id);
if (receiver_vm == NULL) {
+ dlog_verbose("Invalid Receiver!\n");
return ffa_error(FFA_INVALID_PARAMETERS);
}
@@ -2007,6 +2008,7 @@
*/
receiver_vcpu = api_ffa_get_vm_vcpu(receiver_vm, current);
if (receiver_vcpu == NULL) {
+ dlog_verbose("Invalid vCPU!\n");
return ffa_error(FFA_INVALID_PARAMETERS);
}
@@ -2022,6 +2024,7 @@
if (is_ffa_direct_msg_request_ongoing(vcpus_locked.vcpu1) ||
receiver_vcpu->state == VCPU_STATE_RUNNING ||
!receiver_vcpu->regs_available) {
+ dlog_verbose("Receiver is busy with another request.\n");
ret = ffa_error(FFA_BUSY);
goto out;
}
@@ -2046,6 +2049,8 @@
case VCPU_STATE_BLOCKED_INTERRUPT:
case VCPU_STATE_BLOCKED:
case VCPU_STATE_PREEMPTED:
+ dlog_verbose("Receiver's vCPU can't receive request (%u)!\n",
+ vcpu_index(receiver_vcpu));
ret = ffa_error(FFA_BUSY);
goto out;
case VCPU_STATE_WAITING: