#include <kern/task.h>
#include <kern/thread.h>
-#include <kern/thread_act.h>
#include <mach/vm_prot.h>
#include <ppc/pmap.h>
#include <ppc/exception.h>
#include <ppc/Diagnostics.h>
#include <ppc/vmachmon.h>
#include <ppc/PseudoKernel.h>
+#include <ppc/misc_protos.h>
+#include <ppc/hw_perfmon.h>
/*
* To add a new entry: