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