PKUOS - Pintos
Pintos source browser for PKU Operating System course
serial.h
Go to the documentation of this file.
1#ifndef DEVICES_SERIAL_H
2#define DEVICES_SERIAL_H
3
4#include <stdint.h>
5
6void serial_init_queue (void);
8void serial_flush (void);
9void serial_notify (void);
10
11#endif /**< devices/serial.h */
void serial_flush(void)
Flushes anything in the serial buffer out the port in polling mode.
Definition: serial.c:135
void serial_init_queue(void)
Initializes the serial port device for queued interrupt-driven I/O.
Definition: serial.c:82
void serial_putc(uint8_t)
Sends BYTE to the serial port.
Definition: serial.c:99
void serial_notify(void)
devices/serial.h
Definition: serial.c:148
unsigned char uint8_t
Definition: stdint.h:20