--- Gnu-Mach/kern/ast.c	2020/09/02 04:42:43	1.1.1.2
+++ Gnu-Mach/kern/ast.c	2020/09/02 04:45:14	1.1.1.3
@@ -35,18 +35,16 @@
  *
  */
 
-#include <cpus.h>
-#include <mach_fixpri.h>
-#include <norma_ipc.h>
-
 #include <kern/ast.h>
 #include <kern/counters.h>
+#include <kern/debug.h>
 #include "cpu_number.h"
 #include <kern/queue.h>
 #include <kern/sched.h>
 #include <kern/sched_prim.h>
 #include <kern/thread.h>
 #include <kern/processor.h>
+#include <device/net_io.h>
 
 #include <machine/machspl.h>	/* for splsched */
 
@@ -69,7 +67,7 @@ ast_init()
 }
 
 void
-ast_taken()
+ast_taken(void)
 {
 	register thread_t self = current_thread();
 	register ast_t reasons;
@@ -90,11 +88,6 @@ ast_taken()
 	if (reasons & AST_NETWORK)
 		net_ast();
 
-#if	NORMA_IPC
-	if (reasons & AST_NETIPC)
-		netipc_ast();
-#endif	/* NORMA_IPC */
-
 	/*
 	 *	Make darn sure that we don't call thread_halt_self
 	 *	or thread_block from the idle thread.