SYMBOL INDEX (243 symbols across 71 files)

FILE: 12-kernel-c/function.c
  function my_function (line 1) | int my_function() {

FILE: 12-kernel-c/functioncalls.c
  function caller (line 1) | void caller() {
  function my_func (line 5) | int my_func(int arg) {

FILE: 12-kernel-c/localvars.c
  function my_function (line 1) | int my_function() {

FILE: 12-kernel-c/pointers.c
  function func (line 1) | void func() {

FILE: 13-kernel-barebones/kernel.c
  function dummy_test_entrypoint (line 2) | void dummy_test_entrypoint() {
  function main (line 5) | void main() {

FILE: 14-checkpoint/kernel/kernel.c
  function dummy_test_entrypoint (line 2) | void dummy_test_entrypoint() {
  function main (line 5) | void main() {

FILE: 15-video-ports/drivers/ports.c
  function port_byte_in (line 4) | unsigned char port_byte_in (unsigned short port) {
  function port_byte_out (line 18) | void port_byte_out (unsigned short port, unsigned char data) {
  function port_word_in (line 27) | unsigned short port_word_in (unsigned short port) {
  function port_word_out (line 33) | void port_word_out (unsigned short port, unsigned short data) {

FILE: 15-video-ports/kernel/kernel.c
  function main (line 3) | void main() {

FILE: 16-video-driver/drivers/ports.c
  function port_byte_in (line 4) | unsigned char port_byte_in (unsigned short port) {
  function port_byte_out (line 18) | void port_byte_out (unsigned short port, unsigned char data) {
  function port_word_in (line 27) | unsigned short port_word_in (unsigned short port) {
  function port_word_out (line 33) | void port_word_out (unsigned short port, unsigned short data) {

FILE: 16-video-driver/drivers/screen.c
  function kprint_at (line 20) | void kprint_at(char *message, int col, int row) {
  function kprint (line 41) | void kprint(char *message) {
  function print_char (line 59) | int print_char(char c, int col, int row, char attr) {
  function get_cursor_offset (line 86) | int get_cursor_offset() {
  function set_cursor_offset (line 98) | void set_cursor_offset(int offset) {
  function clear_screen (line 107) | void clear_screen() {
  function get_offset (line 120) | int get_offset(int col, int row) { return 2 * (row * MAX_COLS + col); }
  function get_offset_row (line 121) | int get_offset_row(int offset) { return offset / (2 * MAX_COLS); }
  function get_offset_col (line 122) | int get_offset_col(int offset) { return (offset - (get_offset_row(offset...

FILE: 16-video-driver/kernel/kernel.c
  function main (line 3) | void main() {

FILE: 17-video-scroll/drivers/ports.c
  function port_byte_in (line 4) | unsigned char port_byte_in (unsigned short port) {
  function port_byte_out (line 18) | void port_byte_out (unsigned short port, unsigned char data) {
  function port_word_in (line 27) | unsigned short port_word_in (unsigned short port) {
  function port_word_out (line 33) | void port_word_out (unsigned short port, unsigned short data) {

FILE: 17-video-scroll/drivers/screen.c
  function kprint_at (line 21) | void kprint_at(char *message, int col, int row) {
  function kprint (line 42) | void kprint(char *message) {
  function print_char (line 60) | int print_char(char c, int col, int row, char attr) {
  function get_cursor_offset (line 103) | int get_cursor_offset() {
  function set_cursor_offset (line 115) | void set_cursor_offset(int offset) {
  function clear_screen (line 124) | void clear_screen() {
  function get_offset (line 137) | int get_offset(int col, int row) { return 2 * (row * MAX_COLS + col); }
  function get_offset_row (line 138) | int get_offset_row(int offset) { return offset / (2 * MAX_COLS); }
  function get_offset_col (line 139) | int get_offset_col(int offset) { return (offset - (get_offset_row(offset...

FILE: 17-video-scroll/kernel/kernel.c
  function main (line 4) | void main() {

FILE: 17-video-scroll/kernel/util.c
  function memory_copy (line 1) | void memory_copy(char *source, char *dest, int nbytes) {
  function int_to_ascii (line 11) | void int_to_ascii(int n, char str[]) {

FILE: 18-interrupts/cpu/idt.c
  function set_idt_gate (line 4) | void set_idt_gate(int n, u32 handler) {
  function set_idt (line 12) | void set_idt() {

FILE: 18-interrupts/cpu/idt.h
  type idt_gate_t (line 10) | typedef struct {
  type idt_register_t (line 25) | typedef struct {

FILE: 18-interrupts/cpu/isr.c
  function isr_install (line 8) | void isr_install() {
  function isr_handler (line 84) | void isr_handler(registers_t r) {

FILE: 18-interrupts/cpu/isr.h
  type registers_t (line 41) | typedef struct {

FILE: 18-interrupts/cpu/types.h
  type u32 (line 6) | typedef unsigned int   u32;
  type s32 (line 7) | typedef          int   s32;
  type u16 (line 8) | typedef unsigned short u16;
  type s16 (line 9) | typedef          short s16;
  type u8 (line 10) | typedef unsigned char  u8;
  type s8 (line 11) | typedef          char  s8;

FILE: 18-interrupts/drivers/ports.c
  function u8 (line 6) | u8 port_byte_in (u16 port) {
  function port_byte_out (line 20) | void port_byte_out (u16 port, u8 data) {
  function u16 (line 29) | u16 port_word_in (u16 port) {
  function port_word_out (line 35) | void port_word_out (u16 port, u16 data) {

FILE: 18-interrupts/drivers/screen.c
  function kprint_at (line 21) | void kprint_at(char *message, int col, int row) {
  function kprint (line 42) | void kprint(char *message) {
  function print_char (line 60) | int print_char(char c, int col, int row, char attr) {
  function get_cursor_offset (line 103) | int get_cursor_offset() {
  function set_cursor_offset (line 115) | void set_cursor_offset(int offset) {
  function clear_screen (line 124) | void clear_screen() {
  function get_offset (line 137) | int get_offset(int col, int row) { return 2 * (row * MAX_COLS + col); }
  function get_offset_row (line 138) | int get_offset_row(int offset) { return offset / (2 * MAX_COLS); }
  function get_offset_col (line 139) | int get_offset_col(int offset) { return (offset - (get_offset_row(offset...

FILE: 18-interrupts/kernel/kernel.c
  function main (line 6) | void main() {

FILE: 18-interrupts/kernel/util.c
  function memory_copy (line 3) | void memory_copy(char *source, char *dest, int nbytes) {
  function memory_set (line 10) | void memory_set(u8 *dest, u8 val, u32 len) {
  function int_to_ascii (line 18) | void int_to_ascii(int n, char str[]) {

FILE: 19-interrupts-irqs/cpu/idt.c
  function set_idt_gate (line 4) | void set_idt_gate(int n, u32 handler) {
  function set_idt (line 12) | void set_idt() {

FILE: 19-interrupts-irqs/cpu/idt.h
  type idt_gate_t (line 10) | typedef struct {
  type idt_register_t (line 25) | typedef struct {

FILE: 19-interrupts-irqs/cpu/isr.c
  function isr_install (line 11) | void isr_install() {
  function isr_handler (line 117) | void isr_handler(registers_t r) {
  function register_interrupt_handler (line 127) | void register_interrupt_handler(u8 n, isr_t handler) {
  function irq_handler (line 131) | void irq_handler(registers_t r) {

FILE: 19-interrupts-irqs/cpu/isr.h
  type registers_t (line 75) | typedef struct {

FILE: 19-interrupts-irqs/cpu/types.h
  type u32 (line 6) | typedef unsigned int   u32;
  type s32 (line 7) | typedef          int   s32;
  type u16 (line 8) | typedef unsigned short u16;
  type s16 (line 9) | typedef          short s16;
  type u8 (line 10) | typedef unsigned char  u8;
  type s8 (line 11) | typedef          char  s8;

FILE: 19-interrupts-irqs/kernel/kernel.c
  function main (line 6) | void main() {

FILE: 19-interrupts-irqs/kernel/util.c
  function memory_copy (line 3) | void memory_copy(char *source, char *dest, int nbytes) {
  function memory_set (line 10) | void memory_set(u8 *dest, u8 val, u32 len) {
  function int_to_ascii (line 18) | void int_to_ascii(int n, char str[]) {

FILE: 20-interrupts-timer/cpu/timer.c
  function timer_callback (line 8) | static void timer_callback(registers_t regs) {
  function init_timer (line 18) | void init_timer(u32 freq) {

FILE: 20-interrupts-timer/drivers/keyboard.c
  function keyboard_callback (line 6) | static void keyboard_callback(registers_t regs) {
  function init_keyboard (line 18) | void init_keyboard() {
  function print_letter (line 22) | void print_letter(u8 scancode) {

FILE: 20-interrupts-timer/drivers/ports.c
  function u8 (line 6) | u8 port_byte_in (u16 port) {
  function port_byte_out (line 20) | void port_byte_out (u16 port, u8 data) {
  function u16 (line 29) | u16 port_word_in (u16 port) {
  function port_word_out (line 35) | void port_word_out (u16 port, u16 data) {

FILE: 20-interrupts-timer/drivers/screen.c
  function kprint_at (line 20) | void kprint_at(char *message, int col, int row) {
  function kprint (line 41) | void kprint(char *message) {
  function print_char (line 59) | int print_char(char c, int col, int row, char attr) {
  function get_cursor_offset (line 102) | int get_cursor_offset() {
  function set_cursor_offset (line 114) | void set_cursor_offset(int offset) {
  function clear_screen (line 123) | void clear_screen() {
  function get_offset (line 136) | int get_offset(int col, int row) { return 2 * (row * MAX_COLS + col); }
  function get_offset_row (line 137) | int get_offset_row(int offset) { return offset / (2 * MAX_COLS); }
  function get_offset_col (line 138) | int get_offset_col(int offset) { return (offset - (get_offset_row(offset...

FILE: 20-interrupts-timer/kernel/kernel.c
  function main (line 5) | void main() {

FILE: 20-interrupts-timer/kernel/util.c
  function memory_copy (line 3) | void memory_copy(char *source, char *dest, int nbytes) {
  function memory_set (line 10) | void memory_set(u8 *dest, u8 val, u32 len) {
  function int_to_ascii (line 18) | void int_to_ascii(int n, char str[]) {
  function reverse (line 33) | void reverse(char s[]) {
  function strlen (line 43) | int strlen(char s[]) {

FILE: 21-shell/cpu/idt.c
  function set_idt_gate (line 3) | void set_idt_gate(int n, u32 handler) {
  function set_idt (line 11) | void set_idt() {

FILE: 21-shell/cpu/idt.h
  type idt_gate_t (line 10) | typedef struct {
  type idt_register_t (line 25) | typedef struct {

FILE: 21-shell/cpu/isr.c
  function isr_install (line 13) | void isr_install() {
  function isr_handler (line 119) | void isr_handler(registers_t r) {
  function register_interrupt_handler (line 129) | void register_interrupt_handler(u8 n, isr_t handler) {
  function irq_handler (line 133) | void irq_handler(registers_t r) {
  function irq_install (line 146) | void irq_install() {

FILE: 21-shell/cpu/isr.h
  type registers_t (line 75) | typedef struct {

FILE: 21-shell/cpu/timer.c
  function timer_callback (line 8) | static void timer_callback(registers_t regs) {
  function init_timer (line 13) | void init_timer(u32 freq) {

FILE: 21-shell/cpu/types.h
  type u32 (line 6) | typedef unsigned int   u32;
  type s32 (line 7) | typedef          int   s32;
  type u16 (line 8) | typedef unsigned short u16;
  type s16 (line 9) | typedef          short s16;
  type u8 (line 10) | typedef unsigned char  u8;
  type s8 (line 11) | typedef          char  s8;

FILE: 21-shell/drivers/keyboard.c
  function keyboard_callback (line 27) | static void keyboard_callback(registers_t regs) {
  function init_keyboard (line 49) | void init_keyboard() {

FILE: 21-shell/drivers/screen.c
  function kprint_at (line 21) | void kprint_at(char *message, int col, int row) {
  function kprint (line 42) | void kprint(char *message) {
  function kprint_backspace (line 46) | void kprint_backspace() {
  function print_char (line 67) | int print_char(char c, int col, int row, char attr) {
  function get_cursor_offset (line 113) | int get_cursor_offset() {
  function set_cursor_offset (line 125) | void set_cursor_offset(int offset) {
  function clear_screen (line 134) | void clear_screen() {
  function get_offset (line 147) | int get_offset(int col, int row) { return 2 * (row * MAX_COLS + col); }
  function get_offset_row (line 148) | int get_offset_row(int offset) { return offset / (2 * MAX_COLS); }
  function get_offset_col (line 149) | int get_offset_col(int offset) { return (offset - (get_offset_row(offset...

FILE: 21-shell/kernel/kernel.c
  function main (line 6) | void main() {
  function user_input (line 14) | void user_input(char *input) {

FILE: 21-shell/libc/mem.c
  function memory_copy (line 3) | void memory_copy(u8 *source, u8 *dest, int nbytes) {
  function memory_set (line 10) | void memory_set(u8 *dest, u8 val, u32 len) {

FILE: 21-shell/libc/string.c
  function int_to_ascii (line 6) | void int_to_ascii(int n, char str[]) {
  function reverse (line 21) | void reverse(char s[]) {
  function strlen (line 31) | int strlen(char s[]) {
  function append (line 37) | void append(char s[], char n) {
  function backspace (line 43) | void backspace(char s[]) {
  function strcmp (line 50) | int strcmp(char s1[], char s2[]) {

FILE: 22-malloc/cpu/idt.c
  function set_idt_gate (line 3) | void set_idt_gate(int n, u32 handler) {
  function set_idt (line 11) | void set_idt() {

FILE: 22-malloc/cpu/idt.h
  type idt_gate_t (line 10) | typedef struct {
  type idt_register_t (line 25) | typedef struct {

FILE: 22-malloc/cpu/isr.c
  function isr_install (line 13) | void isr_install() {
  function isr_handler (line 119) | void isr_handler(registers_t r) {
  function register_interrupt_handler (line 129) | void register_interrupt_handler(u8 n, isr_t handler) {
  function irq_handler (line 133) | void irq_handler(registers_t r) {
  function irq_install (line 146) | void irq_install() {

FILE: 22-malloc/cpu/isr.h
  type registers_t (line 75) | typedef struct {

FILE: 22-malloc/cpu/ports.c
  function u8 (line 6) | u8 port_byte_in (u16 port) {
  function port_byte_out (line 20) | void port_byte_out (u16 port, u8 data) {
  function u16 (line 29) | u16 port_word_in (u16 port) {
  function port_word_out (line 35) | void port_word_out (u16 port, u16 data) {

FILE: 22-malloc/cpu/timer.c
  function timer_callback (line 8) | static void timer_callback(registers_t regs) {
  function init_timer (line 13) | void init_timer(u32 freq) {

FILE: 22-malloc/cpu/type.h
  type u32 (line 6) | typedef unsigned int   u32;
  type s32 (line 7) | typedef          int   s32;
  type u16 (line 8) | typedef unsigned short u16;
  type s16 (line 9) | typedef          short s16;
  type u8 (line 10) | typedef unsigned char  u8;
  type s8 (line 11) | typedef          char  s8;

FILE: 22-malloc/drivers/keyboard.c
  function keyboard_callback (line 27) | static void keyboard_callback(registers_t regs) {
  function init_keyboard (line 49) | void init_keyboard() {

FILE: 22-malloc/drivers/screen.c
  function kprint_at (line 21) | void kprint_at(char *message, int col, int row) {
  function kprint (line 42) | void kprint(char *message) {
  function kprint_backspace (line 46) | void kprint_backspace() {
  function print_char (line 67) | int print_char(char c, int col, int row, char attr) {
  function get_cursor_offset (line 113) | int get_cursor_offset() {
  function set_cursor_offset (line 125) | void set_cursor_offset(int offset) {
  function clear_screen (line 134) | void clear_screen() {
  function get_offset (line 147) | int get_offset(int col, int row) { return 2 * (row * MAX_COLS + col); }
  function get_offset_row (line 148) | int get_offset_row(int offset) { return offset / (2 * MAX_COLS); }
  function get_offset_col (line 149) | int get_offset_col(int offset) { return (offset - (get_offset_row(offset...

FILE: 22-malloc/kernel/kernel.c
  function main (line 7) | void main() {
  function user_input (line 15) | void user_input(char *input) {

FILE: 22-malloc/libc/mem.c
  function memory_copy (line 3) | void memory_copy(u8 *source, u8 *dest, int nbytes) {
  function memory_set (line 10) | void memory_set(u8 *dest, u8 val, u32 len) {
  function u32 (line 21) | u32 kmalloc(u32 size, int align, u32 *phys_addr) {

FILE: 22-malloc/libc/string.c
  function int_to_ascii (line 7) | void int_to_ascii(int n, char str[]) {
  function hex_to_ascii (line 21) | void hex_to_ascii(int n, char str[]) {
  function reverse (line 42) | void reverse(char s[]) {
  function strlen (line 52) | int strlen(char s[]) {
  function append (line 58) | void append(char s[], char n) {
  function backspace (line 64) | void backspace(char s[]) {
  function strcmp (line 71) | int strcmp(char s1[], char s2[]) {

FILE: 23-fixes/cpu/idt.c
  function set_idt_gate (line 4) | void set_idt_gate(int n, uint32_t handler) {
  function set_idt (line 12) | void set_idt() {

FILE: 23-fixes/cpu/idt.h
  type idt_gate_t (line 10) | typedef struct {
  type idt_register_t (line 25) | typedef struct {

FILE: 23-fixes/cpu/isr.c
  function isr_install (line 13) | void isr_install() {
  function isr_handler (line 119) | void isr_handler(registers_t *r) {
  function register_interrupt_handler (line 129) | void register_interrupt_handler(uint8_t n, isr_t handler) {
  function irq_handler (line 133) | void irq_handler(registers_t *r) {
  function irq_install (line 146) | void irq_install() {

FILE: 23-fixes/cpu/isr.h
  type registers_t (line 81) | typedef struct {

FILE: 23-fixes/cpu/ports.c
  function port_byte_in (line 6) | uint8_t port_byte_in (uint16_t port) {
  function port_byte_out (line 20) | void port_byte_out (uint16_t port, uint8_t data) {
  function port_word_in (line 29) | uint16_t port_word_in (uint16_t port) {
  function port_word_out (line 35) | void port_word_out (uint16_t port, uint16_t data) {

FILE: 23-fixes/cpu/timer.c
  function timer_callback (line 8) | static void timer_callback(registers_t *regs) {
  function init_timer (line 13) | void init_timer(uint32_t freq) {

FILE: 23-fixes/drivers/keyboard.c
  function keyboard_callback (line 28) | static void keyboard_callback(registers_t *regs) {
  function init_keyboard (line 50) | void init_keyboard() {

FILE: 23-fixes/drivers/screen.c
  function kprint_at (line 22) | void kprint_at(char *message, int col, int row) {
  function kprint (line 43) | void kprint(char *message) {
  function kprint_backspace (line 47) | void kprint_backspace() {
  function print_char (line 68) | int print_char(char c, int col, int row, char attr) {
  function get_cursor_offset (line 114) | int get_cursor_offset() {
  function set_cursor_offset (line 126) | void set_cursor_offset(int offset) {
  function clear_screen (line 135) | void clear_screen() {
  function get_offset (line 148) | int get_offset(int col, int row) { return 2 * (row * MAX_COLS + col); }
  function get_offset_row (line 149) | int get_offset_row(int offset) { return offset / (2 * MAX_COLS); }
  function get_offset_col (line 150) | int get_offset_col(int offset) { return (offset - (get_offset_row(offset...

FILE: 23-fixes/kernel/kernel.c
  function kernel_main (line 8) | void kernel_main() {
  function user_input (line 19) | void user_input(char *input) {

FILE: 23-fixes/libc/mem.c
  function memory_copy (line 3) | void memory_copy(uint8_t *source, uint8_t *dest, int nbytes) {
  function memory_set (line 10) | void memory_set(uint8_t *dest, uint8_t val, uint32_t len) {
  function kmalloc (line 21) | uint32_t kmalloc(size_t size, int align, uint32_t *phys_addr) {

FILE: 23-fixes/libc/string.c
  function int_to_ascii (line 7) | void int_to_ascii(int n, char str[]) {
  function hex_to_ascii (line 21) | void hex_to_ascii(int n, char str[]) {
  function reverse (line 42) | void reverse(char s[]) {
  function strlen (line 52) | int strlen(char s[]) {
  function append (line 58) | void append(char s[], char n) {
  function backspace (line 64) | void backspace(char s[]) {
  function strcmp (line 71) | int strcmp(char s1[], char s2[]) {