extern void rand_initialize_irq(int irq);
-extern void batch_entropy_store(u32 a, u32 b, int num);
-
extern void add_keyboard_randomness(unsigned char scancode);
extern void add_mouse_randomness(__u32 mouse_data);
extern void add_interrupt_randomness(int irq);