function::user_uint64 -
Retrieves an unsigned 64-bit integer value stored in user space
Functions to retrieve strings and other primitive types from
the kernel or a user space programs based on addresses. All
strings are of a maximum length given by MAXSTRINGLEN.