diff options
| author | Miquel Sabaté Solà <mikisabate@gmail.com> | 2024-11-19 15:22:35 +0100 |
|---|---|---|
| committer | Miquel Sabaté Solà <mikisabate@gmail.com> | 2024-11-19 15:22:35 +0100 |
| commit | d3afdd9284f7e9838fbde4c941193ec2032d6a26 (patch) | |
| tree | 7213edfef8eb6b523642401772653cc46b7aa20f /kernel/printk.c | |
| parent | 52a4afca71aee5c150c6c63e7c1a510501fce6f3 (diff) | |
| download | fbos-d3afdd9284f7e9838fbde4c941193ec2032d6a26.tar.gz fbos-d3afdd9284f7e9838fbde4c941193ec2032d6a26.zip | |
Check the return value from SBI ecalls
Signed-off-by: Miquel Sabaté Solà <mikisabate@gmail.com>
Diffstat (limited to 'kernel/printk.c')
| -rw-r--r-- | kernel/printk.c | 5 |
1 files changed, 4 insertions, 1 deletions
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); + } } |