1 #ifndef HW_PPC_E500_H 2 #define HW_PPC_E500_H 3 4 void ppce500_set_mpic_proxy(bool enabled); 5 6 #endif 7