PKUOS - Pintos
Pintos source browser for PKU Operating System course
src
devices
pit.h
Go to the documentation of this file.
1
#ifndef DEVICES_PIT_H
2
#define DEVICES_PIT_H
3
4
#include <
stdint.h
>
5
6
void
pit_configure_channel
(
int
channel
,
int
mode
,
int
frequency);
7
8
#endif
/**< devices/pit.h */
pit_configure_channel
void pit_configure_channel(int channel, int mode, int frequency)
devices/pit.h
Definition:
pit.c:46
mode
static enum @0 mode
Transmission mode.
stdint.h
channel
An ATA channel (aka controller).
Definition:
ide.c:65
Generated on Thu Nov 4 2021 19:31:00 for PKUOS - Pintos by
1.9.2
1.9.2