Provided by: systemtap-doc_2.3-1ubuntu1_all bug

NAME

       function::set_kernel_int - Writes an int value to kernel memory

SYNOPSIS

           set_kernel_int(addr:long,val:long)

ARGUMENTS

       addr
           The kernel address to write the int to

       val
           The int which is to be written

DESCRIPTION

       Writes the int value to a given kernel memory address. Reports an error when writing to
       the given address fails. Requires the use of guru mode (-g).