Home
last modified time | relevance | path

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

/linux-6.12.1/drivers/iommu/intel/
Dnested.c165 domain->s1_pgtbl = vtd.pgtbl_addr; in intel_nested_domain_alloc()
Dpasid.c589 pgd_t *s1_gpgd = (pgd_t *)(uintptr_t)domain->s1_pgtbl; in intel_pasid_setup_nested()
Diommu.h657 unsigned long s1_pgtbl; member