add_interrupt_randomness
add_interrupt_randomness(intr);
add_interrupt_randomness(0);
void add_interrupt_randomness(int intr);