<def f='src/src/sys/sys/rndsource.h' l='110' ll='120' type='void rnd_add_uint64(krndsource_t * kr, __uint64_t val)'/>
