Home
last modified time | relevance | path

Searched refs:s1_gpgd (Results 1 – 1 of 1) sorted by relevance

/linux-6.12.1/drivers/iommu/intel/
Dpasid.c589 pgd_t *s1_gpgd = (pgd_t *)(uintptr_t)domain->s1_pgtbl; in intel_pasid_setup_nested() local
640 pasid_set_flptr(pte, (uintptr_t)s1_gpgd); in intel_pasid_setup_nested()