/* Void Main's man pages */
{ phpMan } else { main(); }
function::set_kernel_char (3stap) - Writes a char value to kernel memory
function::set_kernel_int (3stap) - Writes an int value to kernel memory
function::set_kernel_long (3stap) - Writes a long value to kernel memory
function::set_kernel_pointer (3stap) - Writes a pointer value to kernel memory.
function::set_kernel_short (3stap) - Writes a short value to kernel memory
function::set_kernel_string (3stap) - Writes a string to kernel memory
function::set_kernel_string_n (3stap) - Writes a string of given length to ke...
