From d3afdd9284f7e9838fbde4c941193ec2032d6a26 Mon Sep 17 00:00:00 2001 From: Miquel Sabaté Solà Date: Tue, 19 Nov 2024 15:22:35 +0100 Subject: Check the return value from SBI ecalls MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Miquel Sabaté Solà --- kernel/printk.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'kernel/printk.c') diff --git a/kernel/printk.c b/kernel/printk.c index c0eedd9..51c1a7a 100644 --- a/kernel/printk.c +++ b/kernel/printk.c @@ -19,5 +19,8 @@ void __kernel printk(const char *const message) return; } - sbi_ecall2(DBCN_EXT, DBCN_WRITE, len, (unsigned long)message); + struct sbi_ret ret = sbi_ecall2(DBCN_EXT, DBCN_WRITE, len, (unsigned long)message); + if (ret.error != SBI_SUCCESS) { + die(nullptr); + } } -- cgit v1.2.3