--- a/arch/powerpc/platforms/ps3/interrupt.c	2012-07-20 19:47:50.309201716 +0200
+++ b/arch/powerpc/platforms/ps3/interrupt.c	2012-07-20 19:48:29.185870645 +0200
@@ -381,6 +381,7 @@
 	DBG(" <- %s:%d\n", __func__, __LINE__);
 	return result;
 }
+EXPORT_SYMBOL_GPL(ps3_event_receive_port_destroy);
 
 int ps3_send_event_locally(unsigned int virq)
 {