Searched refs:get_booted_kernel (Results 1 – 3 of 3) sorted by relevance
170 extern const char *get_booted_kernel(void);
1247 get_booted_kernel(void) in get_booted_kernel() function
451 const char *booted_kernel = get_booted_kernel(); in module_init()