#include #include #include "pcb_minuid.h" minuid_session_t pcb_minuid; void pcb_minuid_init(void) { int pid = rnd_getpid(); minuid_init(&pcb_minuid); minuid_salt(&pcb_minuid, &pid, sizeof(pid)); }