hc
2024-12-19 9370bb92b2d16684ee45cf24e879c93c509162da
kernel/arch/arm/kernel/efi.c
....@@ -1,9 +1,6 @@
1
+// SPDX-License-Identifier: GPL-2.0-only
12 /*
23 * Copyright (C) 2015 Linaro Ltd <ard.biesheuvel@linaro.org>
3
- *
4
- * This program is free software; you can redistribute it and/or modify
5
- * it under the terms of the GNU General Public License version 2 as
6
- * published by the Free Software Foundation.
74 */
85
96 #include <linux/efi.h>
....@@ -11,8 +8,7 @@
118 #include <asm/mach/map.h>
129 #include <asm/mmu_context.h>
1310
14
-static int __init set_permissions(pte_t *ptep, pgtable_t token,
15
- unsigned long addr, void *data)
11
+static int __init set_permissions(pte_t *ptep, unsigned long addr, void *data)
1612 {
1713 efi_memory_desc_t *md = data;
1814 pte_t pte = *ptep;