pintos-doxygen/html/input_8h_source.html

#ifndef DEVICES_INPUT_H

#define DEVICES_INPUT_H


#include <stdbool.h>

#include <stdint.h>


void input_init (void);

void input_putc (uint8_t);

uint8_t input_getc (void);

bool input_full (void);


#endif /**< devices/input.h */

input_init
void input_init(void)
Initializes the input buffer.
Definition: input.c:11

input_getc
uint8_t input_getc(void)
Retrieves a key from the input buffer.
Definition: input.c:31

input_putc
void input_putc(uint8_t)
Adds a key to the input buffer.
Definition: input.c:19

input_full
bool input_full(void)
devices/input.h
Definition: input.c:48

stdbool.h

stdint.h

uint8_t
unsigned char uint8_t
Definition: stdint.h:20