New NOTIFY system call! Queued at kernel. Duplicate messages (with same source

and type) are overwritten with newer flags/ arguments. The interface from
within the kernel is lock_notify(). User processes can make a system call with
notify(). NOTIFY fully replaces the old notification mechanism.

drivers/at_wini/at_wini.c

@@ -833,6 +833,10 @@ PRIVATE void w_intr_wait()
 		} else if (m.m_type == HARD_INT) {
 		    sys_inb((w_wn->base + REG_STATUS), &w_status);
 	        }
+	        else {
+	        	printf("AT_WINI got unexpected message %d from %d\n",
+	        		m.m_type, m.m_source);
+	        }
 	}
   } else {
 	/* Interrupt not yet allocated; use polling. */