1 // SPDX-License-Identifier: GPL-2.0-only 1
2 // Copyright 2023 Google LLC
3 // Author: Ard Biesheuvel <ardb@google.com>
4
5 #include <linux/types.h>
6
7 #define __prel64_initconst __section(".in
8
9 #define PREL64(type, name) union { type *
10
11 #define prel64_pointer(__d) (typeof(__d))p
12
13 typedef volatile signed long prel64_t;
14
15 static inline void *prel64_to_pointer(const pr
16 {
17 if (!*offset)
18 return NULL;
19 return (void *)offset + *offset;
20 }
21
22 extern bool dynamic_scs_is_enabled;
23
24 extern pgd_t init_idmap_pg_dir[], init_idmap_p
25
26 void init_feature_override(u64 boot_status, co
27 u64 kaslr_early_init(void *fdt, int chosen);
28 void relocate_kernel(u64 offset);
29 int scs_patch(const u8 eh_frame[], int size);
30
31 void map_range(u64 *pgd, u64 start, u64 end, u
32 int level, pte_t *tbl, bool may
33
34 asmlinkage void early_map_kernel(u64 boot_stat
35
36 asmlinkage u64 create_init_idmap(pgd_t *pgd, p
37
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.