plat/kvm/x86: Replace fallthrough comment markers with macro

Signed-off-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Marco Schlumpp <marco@unikraft.io>
Reviewed-by: Rares Miculescu <miculescur@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
GitHub-Closes: #1116

diff --git a/plat/kvm/x86/vga_console.c b/plat/kvm/x86/vga_console.c
index c393250b860188cd4c601587f0f5786f8fe39573..ae606bffca6d412ac661463ddf605e10d9a57bd6 100644 (file)
--- a/plat/kvm/x86/vga_console.c
+++ b/plat/kvm/x86/vga_console.c
@@ -33,6 +33,8 @@
 #include <x86/irq.h>
 #include <kvm-x86/vga_console.h>
 
+#include <uk/essentials.h>
+
 /* Hardware text mode color constants. */
 enum vga_color {
        VGA_COLOR_BLACK = 0,
@@ -195,7 +197,7 @@ void _libkvmplat_vga_putc(char c)
                break;
        case '\n':
                NEWLINE();
-               /* fall through */
+               __fallthrough;
        case '\r':
                column = 0;
                break;