Symbol: sync_kernel_mappings
arch/riscv/include/asm/pgalloc.h
118
sync_kernel_mappings(pgd);
drivers/firmware/efi/riscv-runtime.c
139
sync_kernel_mappings(efi_mm.pgd);