Symbol: efi_set_mapping_permissions