enable docker ppp

hc

2023-12-09 95099d4622f8cb224d94e314c7a8e0df60b13f87

 kernel/arch/x86/kernel/sysfb_efi.c
..
..
@@ -1,13 +1,9 @@
1
+// SPDX-License-Identifier: GPL-2.0-or-later
1
2
 /*
2
3
  * Generic System Framebuffers on x86
3
4
  * Copyright (c) 2012-2013 David Herrmann <dh.herrmann@gmail.com>
4
5
  *
5
6
  * EFI Quirks Copyright (c) 2006 Edgar Hucek <gimli@dark-green.com>
6
- *
7
- * This program is free software; you can redistribute it and/or modify it
8
- * under the terms of the GNU General Public License as published by the Free
9
- * Software Foundation; either version 2 of the License, or (at your option)
10
- * any later version.
11
7
  */
12
8
 
13
9
 /*
..
..
@@ -19,12 +15,15 @@
19
15
 
20
16
 #include <linux/dmi.h>
21
17
 #include <linux/err.h>
18
+#include <linux/efi.h>
22
19
 #include <linux/init.h>
23
20
 #include <linux/kernel.h>
24
21
 #include <linux/mm.h>
25
22
 #include <linux/pci.h>
26
23
 #include <linux/screen_info.h>
27
24
 #include <video/vga.h>
25
+
26
+#include <asm/efi.h>
28
27
 #include <asm/sysfb.h>
29
28
 
30
29
 enum {