From b80cb3b288adca5ea4d59f8556ab6781945ecf33 Mon Sep 17 00:00:00 2001
From: mwojcik <mw@m-labs.hk>
Date: Fri, 25 Mar 2022 17:33:40 +0800
Subject: [PATCH] get_destination_status: panic on wrong reply

---
 src/runtime/src/kernel/rtio.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/runtime/src/kernel/rtio.rs b/src/runtime/src/kernel/rtio.rs
index 0e2b679..bf04755 100644
--- a/src/runtime/src/kernel/rtio.rs
+++ b/src/runtime/src/kernel/rtio.rs
@@ -10,8 +10,8 @@ pub extern fn get_destination_status(destination: i32) -> bool {
             core1_rx.recv()
         };
         return match reply {
-            Message::UpDestinationsReply(true) => true,
-            _ => false
+            Message::UpDestinationsReply(x) => x,
+            _ => panic!("received unexpected reply to UpDestinationsRequest: {:?}", reply)
         };
     }