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