imx233: update arbiter to get more debug information, update debug screen accordingly

Change-Id: Ia229e5303692712295f1dbd37a76f865a3eef4ea

1 files changed, 5 insertions, 0 deletions

diff --git a/firmware/target/arm/imx233/kernel-imx233.c b/firmware/target/arm/imx233/kernel-imx233.c
index b59d3ed63f..752db68149 100644
--- a/firmware/target/arm/imx233/kernel-imx233.c
+++ b/firmware/target/arm/imx233/kernel-imx233.c
@@ -71,6 +71,11 @@ int arbiter_acquire(struct channel_arbiter_t *a, int timeout)
     return chan;
 }
 
+bool arbiter_acquired(struct channel_arbiter_t *a, int channel)
+{
+    return !(a->free_bm & (1 << channel));
+}
+
 void arbiter_release(struct channel_arbiter_t *a, int channel)
 {
     mutex_lock(&a->mutex);