function::user_int64 - Retrieves a 64-bit integer value stored in user space
user_int64:long(addr:long)
addr
the user space address to retrieve the 64-bit integer from
Returns the 64-bit integer value from a given user space address. Returns zero when user space data is not accessible.
tapset::uconversions(3stap)