Searched refs:shared_kernel_pmd (Results 1 – 4 of 4) sorted by relevance
25 (pv_info.shared_kernel_pmd)))
72 int shared_kernel_pmd; member
285 .shared_kernel_pmd = 1, /* Only used when CONFIG_X86_PAE is set */
1005 .shared_kernel_pmd = 0,
