/* Sets up the timer to interrupt TIMER_FREQ times per second, and registers the corresponding interrupt. */ void timer_init (void) { pit_configure_channel (0, 2, TIMER_FREQ); intr_register_ext (0x20, timer_interrupt, "8254 Timer"); list_init(&dormidos); //PRACTICA1 }
/* Sets up the timer to interrupt TIMER_FREQ times per second, and registers the corresponding interrupt. */ void timer_init (void) { pit_configure_channel (0, 2, TIMER_FREQ); intr_register_ext (0x20, timer_interrupt, "8254 Timer"); list_init(&threadsToWakeUp); }
/* Sets up the timer to interrupt TIMER_FREQ times per second, and registers the corresponding interrupt. */ void timer_init (void) { list_init (&sleep_list); pit_configure_channel (0, 2, TIMER_FREQ); intr_register_ext (0x20, timer_interrupt, "8254 Timer"); }
/* Sets up the timer to interrupt TIMER_FREQ times per second, and registers the corresponding interrupt. */ void timer_init (void) { list_init(&blocked_pqueue); pit_configure_channel (0, 2, TIMER_FREQ); intr_register_ext (0x20, timer_interrupt, "8254 Timer"); }
/* Sets up the timer to interrupt TIMER_FREQ times per second, and registers the corresponding interrupt. */ void timer_init (void) { pit_configure_channel (0, 2, TIMER_FREQ); intr_register_ext (0x20, timer_interrupt, "8254 Timer"); list_init (&wait_sema_list); sema_init (&sema_calc_tick,1); }
/* Sets up the timer to interrupt TIMER_FREQ times per second, and registers the corresponding interrupt. */ void timer_init (void) { pit_configure_channel (0, 2, TIMER_FREQ); intr_register_ext (0x20, timer_interrupt, "8254 Timer"); list_init( &sleeping_threads_list ); // Initialize list of sleeping threads ASSERT (list_empty (&sleeping_threads_list)); }
/* Sets up the timer to interrupt TIMER_FREQ times per second, and registers the corresponding interrupt. */ void timer_init (void) { pit_configure_channel (0, 2, TIMER_FREQ); intr_register_ext (0x20, timer_interrupt, "8254 Timer"); /* Initialize list */ list_init (&waiting_in_line); }
/* Sets up the timer to interrupt TIMER_FREQ times per second, and registers the corresponding interrupt. */ void timer_init (void) { pit_configure_channel (0, 2, TIMER_FREQ); intr_register_ext (0x20, timer_interrupt, "8254 Timer"); //initialize sleepingThreads list list_init(&sleepingThreads); }
/* Sets up the timer to interrupt TIMER_FREQ times per second, and registers the corresponding interrupt. */ void timer_init (void) { pit_configure_channel (0, 2, TIMER_FREQ); intr_register_ext (0x20, timer_interrupt, "8254 Timer"); #if 1 /* pj1 */ list_init(&sleep_list); lock_init(&sleep_list_lock); #endif }
/* Sets up the timer to interrupt TIMER_FREQ times per second, and registers the corresponding interrupt. */ void timer_init (void) { pit_configure_channel (0, 2, TIMER_FREQ); intr_register_ext (0x20, timer_interrupt, "8254 Timer"); list_init (&sleeping_list); printf("Sleeping list initialized"); list_init (&wakeup_list); }
/* Sets the PC speaker to emit a tone at the given FREQUENCY, in Hz. */ void speaker_on (int frequency) { if (frequency >= 20 && frequency <= 20000) { /* Set the timer channel that's connected to the speaker to output a square wave at the given FREQUENCY, then connect the timer channel output to the speaker. */ enum intr_level old_level = intr_disable (); pit_configure_channel (2, 3, frequency); outb (SPEAKER_PORT_GATE, inb (SPEAKER_PORT_GATE) | SPEAKER_GATE_ENABLE); intr_set_level (old_level); } else { /* FREQUENCY is outside the range of normal human hearing. Just turn off the speaker. */ speaker_off (); } }