Symbol: paravirt_alloc_p4d
arch/x86/include/asm/pgalloc.h
136
paravirt_alloc_p4d(mm, __pa(p4d) >> PAGE_SHIFT);
arch/x86/include/asm/pgalloc.h
144
paravirt_alloc_p4d(mm, __pa(p4d) >> PAGE_SHIFT);