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

NAME
function::user_int16 - Retrieves a 16-bit integer value stored in user space
SYNOPSIS
user_int16:long(addr:long)
ARGUMENTS
addr
the user space address to retrieve the 16-bit integer from
DESCRIPTION
Returns the 16-bit integer value from a given user space address. Returns zero when user space data is
not accessible.
SystemTap Tapset Reference March 2016 FUNCTION::USER_INT16(3stap)