Symbol: efi_call_virt_pointer