18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 28c2ecf20Sopenharmony_ci#ifndef _ASM_KASLR_H_ 38c2ecf20Sopenharmony_ci#define _ASM_KASLR_H_ 48c2ecf20Sopenharmony_ci 58c2ecf20Sopenharmony_ciunsigned long kaslr_get_random_long(const char *purpose); 68c2ecf20Sopenharmony_ci 78c2ecf20Sopenharmony_ci#ifdef CONFIG_RANDOMIZE_MEMORY 88c2ecf20Sopenharmony_civoid kernel_randomize_memory(void); 98c2ecf20Sopenharmony_civoid init_trampoline_kaslr(void); 108c2ecf20Sopenharmony_ci#else 118c2ecf20Sopenharmony_cistatic inline void kernel_randomize_memory(void) { } 128c2ecf20Sopenharmony_cistatic inline void init_trampoline_kaslr(void) {} 138c2ecf20Sopenharmony_ci#endif /* CONFIG_RANDOMIZE_MEMORY */ 148c2ecf20Sopenharmony_ci 158c2ecf20Sopenharmony_ci#endif 16