Searched refs:gpgd (Results 1 – 2 of 2) sorted by relevance
784 pgd_t *gpgd, u32 pasid, in intel_pasid_setup_nested() argument848 if ((uintptr_t)gpgd > domain->max_addr) { in intel_pasid_setup_nested()851 (uintptr_t)gpgd, domain->max_addr); in intel_pasid_setup_nested()854 pasid_set_flptr(pte, (uintptr_t)gpgd); in intel_pasid_setup_nested()
369 (pgd_t *)(uintptr_t)data->gpgd, in intel_svm_bind_gpasid()