Searched refs:get_kernel_config_option (Results 1 - 1 of 1) sorted by relevance

/linux-master/scripts/
H A Dleaking_addresses.pl246 sub get_kernel_config_option subroutine
354 $page_offset = get_kernel_config_option('CONFIG_PAGE_OFFSET');
422 state $ptl = get_kernel_config_option('CONFIG_PGTABLE_LEVELS');

Completed in 328 milliseconds