18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0
28c2ecf20Sopenharmony_ci#include <linux/mm.h>
38c2ecf20Sopenharmony_ci#include <asm/elf.h>
48c2ecf20Sopenharmony_ci
58c2ecf20Sopenharmony_ciconst char *arch_vma_name(struct vm_area_struct *vma)
68c2ecf20Sopenharmony_ci{
78c2ecf20Sopenharmony_ci	if (vma->vm_mm && vma->vm_start == um_vdso_addr)
88c2ecf20Sopenharmony_ci		return "[vdso]";
98c2ecf20Sopenharmony_ci
108c2ecf20Sopenharmony_ci	return NULL;
118c2ecf20Sopenharmony_ci}
12