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

NAME

       function::user_int64 - Retrieves a 64-bit integer value stored in user space

SYNOPSIS

           user_int64:long(addr:long)

ARGUMENTS

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

DESCRIPTION

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