1031 static void __init xen_cleanmfnmap_free_pgtbl(void *pgtbl, bool unpin)  in xen_cleanmfnmap_free_pgtbl()  argument
1035 	if (unpin)  in xen_cleanmfnmap_free_pgtbl()
1041 static void __init xen_cleanmfnmap_pmd(pmd_t *pmd, bool unpin)  in xen_cleanmfnmap_pmd()  argument
1061 	xen_cleanmfnmap_free_pgtbl(pte_tbl, unpin);  in xen_cleanmfnmap_pmd()
1064 static void __init xen_cleanmfnmap_pud(pud_t *pud, bool unpin)  in xen_cleanmfnmap_pud()  argument
1080 		xen_cleanmfnmap_pmd(pmd_tbl + i, unpin);  in xen_cleanmfnmap_pud()
1083 	xen_cleanmfnmap_free_pgtbl(pmd_tbl, unpin);  in xen_cleanmfnmap_pud()
1086 static void __init xen_cleanmfnmap_p4d(p4d_t *p4d, bool unpin)  in xen_cleanmfnmap_p4d()  argument
1102 		xen_cleanmfnmap_pud(pud_tbl + i, unpin);  in xen_cleanmfnmap_p4d()
1105 	xen_cleanmfnmap_free_pgtbl(pud_tbl, unpin);  in xen_cleanmfnmap_p4d()
1116 	bool unpin;  in xen_cleanmfnmap()  local
1118 	unpin = (vaddr == 2 * PGDIR_SIZE);  in xen_cleanmfnmap()
1123 		xen_cleanmfnmap_p4d(p4d, unpin);  in xen_cleanmfnmap()