diff --git a/c/src/lib/libcpu/powerpc/mpc5xx/irq/irq.c b/c/src/lib/libcpu/powerpc/mpc5xx/irq/irq.c
index a75bc9e368..8bb3cd240e 100644
--- a/c/src/lib/libcpu/powerpc/mpc5xx/irq/irq.c
+++ b/c/src/lib/libcpu/powerpc/mpc5xx/irq/irq.c
@@ -388,7 +388,7 @@ int CPU_rtems_irq_mngt_get(rtems_irq_global_settings** config)
 /*
  * High level IRQ handler called from shared_raw_irq_code_entry
  */
-void C_dispatch_irq_handler (CPU_Interrupt_frame *frame, unsigned int excNum)
+void C_dispatch_irq_handler (MPC5XX_Interrupt_frame *frame, unsigned int excNum)
 {
   register unsigned int irq;
   register unsigned uimbIntr;                 /* boolean */
diff --git a/c/src/lib/libcpu/powerpc/mpc5xx/irq/irq.h b/c/src/lib/libcpu/powerpc/mpc5xx/irq/irq.h
index 8e634d15e4..ab06041d24 100644
--- a/c/src/lib/libcpu/powerpc/mpc5xx/irq/irq.h
+++ b/c/src/lib/libcpu/powerpc/mpc5xx/irq/irq.h
@@ -161,7 +161,7 @@ int CPU_irq_level_from_symbolic_name(const rtems_irq_number name);
 
 extern void CPU_rtems_irq_mng_init(unsigned cpuId);
 
-typedef struct CPU_Interrupt_frame {
+typedef struct MPC5XX_Interrupt_frame {
     uint32_t   stacklink;	/* Ensure this is a real frame (also reg1 save) */
     uint32_t   calleeLr;	/* link register used by callees: SVR4/EABI */
 
@@ -190,9 +190,9 @@ typedef struct CPU_Interrupt_frame {
     uint32_t   pc;
     uint32_t   msr;
     uint32_t   pad[3];
-} CPU_Interrupt_frame;
+} MPC5XX_Interrupt_frame;
 
-void C_dispatch_irq_handler(CPU_Interrupt_frame *frame, unsigned int excNum);
+void C_dispatch_irq_handler(MPC5XX_Interrupt_frame *frame, unsigned int excNum);
 
 #endif