| /* SPDX-License-Identifier: GPL-2.0 */ | |
| #ifndef _ASM_KASLR_H_ | |
| #define _ASM_KASLR_H_ | |
| unsigned long kaslr_get_random_long(const char *purpose); | |
| #ifdef CONFIG_RANDOMIZE_MEMORY | |
| void kernel_randomize_memory(void); | |
| void init_trampoline_kaslr(void); | |
| #else | |
| static inline void kernel_randomize_memory(void) { } | |
| static inline void init_trampoline_kaslr(void) {} | |
| #endif /* CONFIG_RANDOMIZE_MEMORY */ | |
| #endif |