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