From 9acb10df8d0c07a9c768c00668247f26465bc3b5 Mon Sep 17 00:00:00 2001
From: Michalis Pappas <michalis@unikraft.io>
Date: Tue, 3 Oct 2023 18:05:07 +0200
Subject: [PATCH] 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
---
 plat/kvm/x86/vga_console.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/plat/kvm/x86/vga_console.c b/plat/kvm/x86/vga_console.c
index c393250b8..ae606bffc 100644
--- 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;
-- 
2.39.5