Searched refs:get_kernel_config_option (Results 1 – 1 of 1) sorted by relevance
219 sub get_kernel_config_option subroutine328 $page_offset = get_kernel_config_option('CONFIG_PAGE_OFFSET');391 state $ptl = get_kernel_config_option('CONFIG_PGTABLE_LEVELS');