pit.h

Go to the documentation of this file.

 
#ifndef KERNEL_ARCH_I686_DEVICES_PIT_H
#define KERNEL_ARCH_I686_DEVICES_PIT_H
 
#include <kernel/types.h>
#include <kernel/error.h>
 
#define PIT_INTERNAL_FREQUENCY (1193182)
 
#define PIT_MIN_CHANNEL_FREQUENCY (19)
#define PIT_MAX_CHANNEL_FREQUENCY (PIT_INTERNAL_FREQUENCY)
 
#define PIT_CHANNELS_COUNT (3)
 
typedef enum pit_channel {
    PIT_CHANNEL_TIMER,   //< CPU Timer
    PIT_CHANNEL_DRAM,    //< Legacy. Used to refresh DRAM
    PIT_CHANNEL_SPEAKER, //< Connected to the PC speaker
} pit_channel;
 
typedef enum {
    PIT_TRIGGER_LOW = 0,
    PIT_TRIGGER_HIGH,
    PIT_RATE_GENERATOR,
    PIT_PWM,
    PIT_SW_STROBE,
    PIT_HW_STROBE,
} pit_mode;
 
error_t pit_config_channel(pit_channel, u32 frequency, pit_mode);
 
u16 pit_read_channel(pit_channel);
 
#endif /*  KERNEL_ARCH_I686_DEVICES_PIT_H */