print_irq_status_vc
static void print_irq_status_vc(int vc, u32 status)
static void print_irq_status_vc(int channel, u32 status)