IPIC_MCP_MU   = 7,
 };
 
-extern void ipic_set_highest_priority(unsigned int irq);
 extern void ipic_set_default_priority(void);
-extern void ipic_enable_mcp(enum ipic_mcp_irq mcp_irq);
-extern void ipic_disable_mcp(enum ipic_mcp_irq mcp_irq);
 extern u32 ipic_get_mcp_status(void);
 extern void ipic_clear_mcp_status(u32 mask);
 
 
        return ipic;
 }
 
-void ipic_set_highest_priority(unsigned int virq)
-{
-       struct ipic *ipic = ipic_from_irq(virq);
-       unsigned int src = virq_to_hw(virq);
-       u32 temp;
-
-       temp = ipic_read(ipic->regs, IPIC_SICFR);
-
-       /* clear and set HPI */
-       temp &= 0x7f000000;
-       temp |= (src & 0x7f) << 24;
-
-       ipic_write(ipic->regs, IPIC_SICFR, temp);
-}
-
 void ipic_set_default_priority(void)
 {
        ipic_write(primary_ipic->regs, IPIC_SIPRR_A, IPIC_PRIORITY_DEFAULT);
        ipic_write(primary_ipic->regs, IPIC_SMPRR_B, IPIC_PRIORITY_DEFAULT);
 }
 
-void ipic_enable_mcp(enum ipic_mcp_irq mcp_irq)
-{
-       struct ipic *ipic = primary_ipic;
-       u32 temp;
-
-       temp = ipic_read(ipic->regs, IPIC_SERMR);
-       temp |= (1 << (31 - mcp_irq));
-       ipic_write(ipic->regs, IPIC_SERMR, temp);
-}
-
-void ipic_disable_mcp(enum ipic_mcp_irq mcp_irq)
-{
-       struct ipic *ipic = primary_ipic;
-       u32 temp;
-
-       temp = ipic_read(ipic->regs, IPIC_SERMR);
-       temp &= (1 << (31 - mcp_irq));
-       ipic_write(ipic->regs, IPIC_SERMR, temp);
-}
-
 u32 ipic_get_mcp_status(void)
 {
        return primary_ipic ? ipic_read(primary_ipic->regs, IPIC_SERSR) : 0;