Searched refs:gpgd (Results 1 – 3 of 3) sorted by relevance
772 pgd_t *gpgd, u32 pasid, in intel_pasid_setup_nested() argument836 if ((uintptr_t)gpgd > domain->max_addr) { in intel_pasid_setup_nested()839 (uintptr_t)gpgd, domain->max_addr); in intel_pasid_setup_nested()842 pasid_set_flptr(pte, (uintptr_t)gpgd); in intel_pasid_setup_nested()
369 (pgd_t *)(uintptr_t)data->gpgd, in intel_svm_bind_gpasid()
331 __u64 gpgd; member