Line data    Source code

       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           1 : static inline void kernel_randomize_memory(void) { }
      12             : static inline void init_trampoline_kaslr(void) {}
      13             : #endif /* CONFIG_RANDOMIZE_MEMORY */
      14             : 
      15             : #endif