Searched refs:gpgd (Results 1 – 3 of 3) sorted by relevance
826 pgd_t *gpgd, u32 pasid, in intel_pasid_setup_nested() argument890 if ((uintptr_t)gpgd > domain->max_addr) { in intel_pasid_setup_nested()893 (uintptr_t)gpgd, domain->max_addr); in intel_pasid_setup_nested()896 pasid_set_flptr(pte, (uintptr_t)gpgd); in intel_pasid_setup_nested()
433 (pgd_t *)(uintptr_t)data->gpgd, in intel_svm_bind_gpasid()
332 __u64 gpgd; member
