kernel/arch/x86/mm/init_64.c
.. .. @@ -193,8 +193,8 @@ 193 193 spin_lock(pgt_lock); 194 194 195 195 if (!p4d_none(*p4d_ref) && !p4d_none(*p4d)) 196 - BUG_ON(p4d_page_vaddr(*p4d)197 - != p4d_page_vaddr(*p4d_ref));196 + BUG_ON(p4d_pgtable(*p4d)197 + != p4d_pgtable(*p4d_ref));198 198 199 199 if (p4d_none(*p4d)) 200 200 set_p4d(p4d, *p4d_ref);