Является ли разделяемая библиотека vdso (linux-vdso.so) библиотекой, которая содержит код объекта ядра (системные вызовы)?

sed -n '
       /URL:/{
              :1                          #return point
              N                           #append next line
              /-{20,}/!b1                 #go to return point while reach ---
              /Name(s):\n[^\n]\+\n[^-]/p  #check if more 1 line after «Name(s)»  
              }
       '