/* Returns : OK if set trigger type succeeded, others if failed.  */
s32 interrupt_set_nmi_trigger(u32 type)
/* Returns : OK if set trigger type succeeded, others if failed.  */
s32 interrupt_set_nmi_trigger(u32 type)
{
    u32 value;
    pintc_regs->control = type;
    value = pintc_regs->mask;
    value |= 0x1;
    pintc_regs->mask = value;
    return OK;
}