work_from_work: flush_workqueue back in

kernel_module/pci.c

@@ -3,6 +3,9 @@ Usage:
 
 	/pci.sh
 
+The standard is non-free, obviously: https://pcisig.com/specifications
+but Google gives several illegal PDF hits :-)
+
 Like every other hardware, we could interact with PCI on x86
 using only IO instructions and memory operations.
 

kernel_module/work_from_work.c

@@ -33,6 +33,7 @@ static int myinit(void)
 static void myexit(void)
 {
 	cancel_delayed_work(&next_work);
+	flush_workqueue(queue);
 	destroy_workqueue(queue);
 }