SYMBOL INDEX (34 symbols across 4 files)

FILE: doc/examples/debugger.c
  function foo (line 11) | int foo(int a, int b) {
  function main (line 19) | int main(void) {

FILE: doc/examples/keyboard.c
  type keyboad_state (line 21) | typedef struct keyboard_state {
  function keyboard_handler (line 29) | void keyboard_handler() {
  function setup_keyboard (line 50) | void setup_keyboard() {
  function reset_keyboard (line 63) | void reset_keyboard() {
  function main (line 68) | int main(void) {

FILE: src/gdbstub.h
  function _gdb_start (line 24) | void _gdb_start() {}
  function _gdb_checkpoint (line 25) | bool _gdb_checkpoint() { return false; }
  function _gdb_start (line 27) | void _gdb_start() {}
  function _gdb_checkpoint (line 28) | bool _gdb_checkpoint() { return false; }
  type gdb_register (line 65) | enum gdb_register { EAX, ECX, EDX, EBX, ESP, EBP, ESI, EDI, EIP, EFLAGS,...
  type gdb_context (line 70) | typedef struct gdb_context {
  function serial_port_init (line 84) | static void serial_port_init() {
  function serial_port_putc (line 95) | static void serial_port_putc(char c) { _bios_serialcom(_COM_SEND, 0, c); }
  function serial_port_getc (line 97) | static int serial_port_getc() {
  function set_mem_error (line 101) | static void set_mem_error(void) { ctx.mem_error = 1; }
  function hex_to_byte (line 103) | static int hex_to_byte(char ch) {
  function hex_to_int (line 113) | static int hex_to_int(char **ptr, int *intValue) {
  function mem_get_byte (line 131) | static int mem_get_byte(char *addr) { return *addr; }
  function mem_set_byte (line 133) | static void mem_set_byte(char *addr, int val) { *addr = val; }
  function exception_save_registers (line 168) | static void exception_save_registers(void) {
  function exception_sigsegv_handler (line 212) | static void exception_sigsegv_handler(int exception_number) {
  function exception_handler (line 218) | static void exception_handler(int exception_number) {
  function exception_to_signal (line 224) | static int exception_to_signal(int exception_number) {
  function exception_init (line 279) | static void exception_init() {
  function exception_dispose (line 320) | static void exception_dispose() {
  function _gdb_start (line 329) | void _gdb_start(void) {
  function gdb_write_packet (line 391) | static void gdb_write_packet(unsigned char *buffer) {
  function gdb_loop (line 416) | void gdb_loop(int exception_number) {
  function gdb_tick_handler (line 617) | void gdb_tick_handler(void) {
  function _gdb_checkpoint (line 624) | bool _gdb_checkpoint() {

FILE: src/main.c
  function set_video_mode (line 10) | void set_video_mode(int mode) {
  function main (line 16) | int main(void) {