--- zzzz-none-000/linux-2.6.19.2/include/asm-powerpc/pmc.h	2007-01-10 19:10:37.000000000 +0000
+++ davinci-8020-5505/linux-2.6.19.2/include/asm-powerpc/pmc.h	2007-01-11 07:38:19.000000000 +0000
@@ -32,5 +32,18 @@
 void power4_enable_pmcs(void);
 #endif
 
+#ifdef CONFIG_FSL_BOOKE
+void init_pmc_stop(int ctr);
+void set_pmc_event(int ctr, int event);
+void set_pmc_user_kernel(int ctr, int user, int kernel);
+void set_pmc_marked(int ctr, int mark0, int mark1);
+void pmc_start_ctr(int ctr, int enable);
+void pmc_start_ctrs(int enable);
+void pmc_stop_ctrs(void);
+void dump_pmcs(void);
+
+extern struct op_powerpc_model op_model_fsl_booke;
+#endif
+
 #endif /* __KERNEL__ */
 #endif /* _POWERPC_PMC_H */