Line data    Source code

       1             : // SPDX-License-Identifier: GPL-2.0
       2             : #include <linux/mm.h>
       3             : #include <asm/elf.h>
       4             : 
       5           0 : const char *arch_vma_name(struct vm_area_struct *vma)
       6             : {
       7           0 :         if (vma->vm_mm && vma->vm_start == um_vdso_addr)
       8             :                 return "[vdso]";
       9             : 
      10           0 :         return NULL;
      11             : }