printf("IRQ-BW RESET\n");
}
if (flags & (1<<BW_PI_IRQ_HW)) { //HW-PIC IRQ
u32 hw_enabled = read32(HW_PPCIRQMASK);
u32 hw_flags = read32(HW_PPCIRQFLAG);
printf("IRQ-BW RESET\n");
}
if (flags & (1<<BW_PI_IRQ_HW)) { //HW-PIC IRQ
u32 hw_enabled = read32(HW_PPCIRQMASK);
u32 hw_flags = read32(HW_PPCIRQFLAG);