1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef _ASM_KASLR_H_ 3 #define _ASM_KASLR_H_ 4 5 unsigned long kaslr_get_random_long(const char *purpose); 6 7 #ifdef CONFIG_RANDOMIZE_MEMORY 8 void kernel_randomize_memory(void); 9 void init_trampoline_kaslr(void); 10 #else 11 static inline void kernel_randomize_memory(void) { } 12 static inline void init_trampoline_kaslr(void) {} 13 #endif /* CONFIG_RANDOMIZE_MEMORY */ 14 15 #endif 16