Searched refs:s1_gpgd (Results 1 – 1 of 1) sorted by relevance
589 pgd_t *s1_gpgd = (pgd_t *)(uintptr_t)domain->s1_pgtbl; in intel_pasid_setup_nested() local640 pasid_set_flptr(pte, (uintptr_t)s1_gpgd); in intel_pasid_setup_nested()