- outb(inb(0x378) & 0xEF, 0x378);
- outb(inb(0x378) | 0x01, 0x378);
- // Signal other machine
- rt_intr_wait(&intr, TM_INFINITE);
- times[i] = rt_timer_read()-times[i];
+ rt_printf("Set bit to 0\n");
+ outb(inb(0x378) & 0xEF, 0x378);
+ rt_printf("Set bit to 1\n");
+ outb(inb(0x378) | 0x01, 0x378);
+ rt_printf("Wait for interrupt\n");
+ rt_intr_wait(&intr, TM_INFINITE);
+ times[i] = rt_timer_read()-times[i];