/* Returns : OK if disable interrupt succeeded, others if failed.  */
s32 interrupt_disable(u32 intno)
/* Returns : OK if disable interrupt succeeded, others if failed.  */
s32 interrupt_disable(u32 intno)
{
    return intc_disable_interrupt(intno);
}