DOKK / manpages / debian 10 / systemtap-doc / tapset::random.3stap.en
TAPSET::RANDOM(3stap) TAPSET::RANDOM(3stap)

tapset::random - systemtap random tapset

Return a random number between [0,n)
See function::randint(3stap)
for details.

function::randint(3stap), stap(1), stapprobes(3stap)

October 2018 SystemTap Tapset Reference