Symbol: efi_set_pgd
drivers/firmware/efi/arm-runtime.c
158
efi_set_pgd(&efi_mm);
drivers/firmware/efi/arm-runtime.c
163
efi_set_pgd(current->active_mm);