Provided by: systemtap-doc_2.3-1ubuntu1.4_all bug

NAME
       function::kernel_int - Retrieves an int value stored in kernel memory


SYNOPSIS
           kernel_int:long(addr:long)


ARGUMENTS
       addr
           The kernel address to retrieve the int from


DESCRIPTION
       Returns the int value from a given kernel memory address. Reports an error when reading from the given
       address fails.

SystemTap Tapset Reference                         March 2016                        FUNCTION::KERNEL_INT(3stap)