path: root/kernel/crypto/xoshiro256plusplus/xoshiro256plusplus.h

void seed_xoshiro_256_pp(uint64_t input[4]);
uint64_t xoshiro_256_pp(void);