Provided by: systemtap-doc_2.3-1ubuntu1.4_all bug

NAME
       function::user_uint64 - Retrieves an unsigned 64-bit integer value stored in user space


SYNOPSIS
           user_uint64:long(addr:long)


ARGUMENTS
       addr
           the user space address to retrieve the unsigned 64-bit integer from


DESCRIPTION
       Returns the unsigned 64-bit integer value from a given user space address. Returns zero
       when user space data is not accessible.