The built-in command "dis -s" of the crash utility fails with an error message: "source code is not available"

Issue

• The built-in command "dis -s" of the crash utility fails with an error message: "source code is not available"

crash> dis -s schedule_hrtimeout_range
FILE: (unknown)
LINE: (unknown)

dis: schedule_hrtimeout_range: source code is not available

• For some of the kernel functions (e.g: freezer_write), the "dis -s", and GDB's "l" commands show incorrect FILE, LINE numbers, and the source code.

crash> dis -s freezer_write
FILE: ./include/linux/percpu-refcount.h
LINE: 313

  308           bool ret = false;
  309   
  310           rcu_read_lock();
  311           ret = percpu_ref_tryget_live_rcu(ref);
  312           rcu_read_unlock();
* 313           return ret;
  314   }

crash> l *freezer_write
0xffffb5cababba83c is in freezer_write (./include/linux/string.h:78).
73      
74      extern char *strim(char *);
75      
76      static inline __must_check char *strstrip(char *str)
77      {
78              return strim(str);
79      }
80      
81      #ifndef __HAVE_ARCH_STRSTR
82      extern char * strstr(const char *, const char *);