|
PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
#include <stdint.h>

Go to the source code of this file.
Functions | |
| void | pit_configure_channel (int channel, int mode, int frequency) |
| devices/pit.h More... | |
| void pit_configure_channel | ( | int | channel, |
| int | mode, | ||
| int | frequency | ||
| ) |
In a PC, the PIT's three output channels are hooked up like this:
MODE specifies the form of output:
FREQUENCY is the number of periods per second, in Hz.
Definition at line 46 of file pit.c.
References ASSERT, intr_disable(), intr_set_level(), mode, outb(), PIT_HZ, PIT_PORT_CONTROL, and PIT_PORT_COUNTER.
Referenced by speaker_on(), and timer_init().

