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