Searched refs:s1_pgtbl (Results 1 – 3 of 3) sorted by relevance
165 domain->s1_pgtbl = vtd.pgtbl_addr; in intel_nested_domain_alloc()
589 pgd_t *s1_gpgd = (pgd_t *)(uintptr_t)domain->s1_pgtbl; in intel_pasid_setup_nested()
657 unsigned long s1_pgtbl; member