#include "bootmii_ppc.h"
#include "usb/host/host.h"
+void show_frame_no(void);
+
void irq_initialize(void)
{
// clear flipper-pic (processor interface)
if (flags & (1<<BW_PI_IRQ_RESET)) {
write32(BW_PI_IRQFLAG, 1<<BW_PI_IRQ_RESET);
+ show_frame_no();
printf("IRQ-BW RESET\n");
}
if (flags & (1<<BW_PI_IRQ_HW)) { //HW-PIC IRQ