Searched refs:get_kernel_config_option (Results 1 – 1 of 1) sorted by relevance
246 sub get_kernel_config_option subroutine354 $page_offset = get_kernel_config_option('CONFIG_PAGE_OFFSET');422 state $ptl = get_kernel_config_option('CONFIG_PGTABLE_LEVELS');