Provided by: systemtap-doc_2.3-1ubuntu1_all
function::kernel_int - Retrieves an int value stored in kernel memory
addr The kernel address to retrieve the int from
Returns the int value from a given kernel memory address. Reports an error when reading from the given address fails.