Searched refs:gpgd (Results 1 – 3 of 3) sorted by relevance
762 pgd_t *gpgd, u32 pasid, in intel_pasid_setup_nested() argument826 if ((uintptr_t)gpgd > domain->max_addr) { in intel_pasid_setup_nested()829 (uintptr_t)gpgd, domain->max_addr); in intel_pasid_setup_nested()832 pasid_set_flptr(pte, (uintptr_t)gpgd); in intel_pasid_setup_nested()
386 (pgd_t *)(uintptr_t)data->gpgd, in intel_svm_bind_gpasid()
331 __u64 gpgd; member
