# Pastebin Cjf4vdak
[pcarrier@localhost ~]$ rpm -qa|grep $(uname -r)
kernel-headers-4.3.5-300.fc23.x86_64
kernel-core-4.3.5-300.fc23.x86_64
kernel-4.3.5-300.fc23.x86_64
kernel-debug-devel-4.3.5-300.fc23.x86_64
kernel-devel-4.3.5-300.fc23.x86_64
kernel-modules-4.3.5-300.fc23.x86_64
[pcarrier@localhost ~]$ sudo stap -l 'kernel.syscall.*'
[pcarrier@localhost ~]$