Branch data 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 : : #else 10 [ - + ]: 21 : static inline void kernel_randomize_memory(void) { } 11 : : #endif /* CONFIG_RANDOMIZE_MEMORY */ 12 : : 13 : : #endif