diff options
Diffstat (limited to 'kernel/src/ubsan')
| -rw-r--r-- | kernel/src/ubsan/ubsan.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/kernel/src/ubsan/ubsan.c b/kernel/src/ubsan/ubsan.c index 84283f7..9cd744d 100644 --- a/kernel/src/ubsan/ubsan.c +++ b/kernel/src/ubsan/ubsan.c @@ -52,11 +52,12 @@ static void ubsan_abort(const struct ubsan_source_location* location, if ( !location || !location->filename ) location = &unknown_location; - serial_printf( + printf( "filename = %s; line = %d; column = %d; violation = %s;\n", location->filename, location->line, location->column, violation); - while (true) { + for(;;) { + __asm__ volatile ("hlt;"); } } |