The place I would start is with the "loc2c-test" program. This is a simple
test program built during the systemtap build, but not installed. It uses
exactly the same infrastructure for finding and interpreting the debug
information to identify variables at requested source locations.
loc2c-test takes some standard options (see --help), which are the same as
you can use with e.g. eu-addr2line. Use the -k option to look at the
current kernel and modules, the same way the systemtap translator does.
(The other options make it easy to look at info for different kernels.)
The required argument is an address constant, giving the PC location of the
probe. The -v output from stap should tell you this.
./loc2c-test -k 0xc012c9b1