Searched refs:shared_kernel_pmd (Results 1 – 5 of 5) sorted by relevance
22 #define SHARED_KERNEL_PMD (pv_info.shared_kernel_pmd)
67 int shared_kernel_pmd; member
299 .shared_kernel_pmd = 1, /* Only used when CONFIG_X86_PAE is set */
1407 pv_info.shared_kernel_pmd = 1; in lguest_init()
1226 .shared_kernel_pmd = 0,