function::user_string_quoted(3stap) on Linux

The text e1d52f2d1008, as Debian 11 (Bullseye) shipped it.

Retrieves and quotes string from user space

function::user_string_quoted(3stap) on Linux now