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

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

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

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

tapset::uconversions(3stap)

SystemTap Tapset Reference                         April 2024                        FUNCTION::USER_UINT6(3stap)

           user_uint64:long(addr:long)