function::set_user_string_n(3stap) on Linux

The text e75cc09a22a4, as Debian 12 (Bookworm) shipped it.

Writes a string of given length to user memory

function::set_user_string_n(3stap) on Linux now