Provided by: systemtap-doc_2.3-1ubuntu1_all
function::set_kernel_int - Writes an int value to kernel memory
addr The kernel address to write the int to val The int which is to be written
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).