#include <i386/machine_routines.h>
#include <i386/io_map_entries.h>
#include <kern/cpu_data.h>
+#include <kern/thread_act.h>
/* IO memory map services */
{
return(0);
}
+
+#undef current_act
+thread_act_t
+current_act(void)
+{
+ return(current_act_fast());
+}