get_domain_name   343 arch/arm/mm/dump.c 		domain = get_domain_name(pmd);
get_domain_name   352 arch/arm/mm/dump.c 			domain = get_domain_name(pmd);