hc
2024-01-03 2f7c68cb55ecb7331f2381deb497c27155f32faf
kernel/arch/x86/mm/init_64.c
....@@ -193,8 +193,8 @@
193193 spin_lock(pgt_lock);
194194
195195 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));
198198
199199 if (p4d_none(*p4d))
200200 set_p4d(p4d, *p4d_ref);