Symbol: __phys_to_pgd_val
arch/arm64/include/asm/pgalloc.h
77
set_pgd(pgdp, __pgd(__phys_to_pgd_val(p4dp) | prot));
arch/arm64/mm/kasan_init.c
263
tmp_pg_dir[idx] = __pgd(__phys_to_pgd_val(__pa_symbol(pud)) |