Searched refs:get_kernel_config_option (Results 1 – 1 of 1) sorted by relevance
220 sub get_kernel_config_option subroutine329 $page_offset = get_kernel_config_option('CONFIG_PAGE_OFFSET');392 state $ptl = get_kernel_config_option('CONFIG_PGTABLE_LEVELS');