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