Here is a list of all documented functions with links to the documentation:

- _ -

• _putchar() : stdio.h

- a -

• abort() : stdlib.h
• alloc_init() : alloc.h
• arch_clock_get_current_microseconds() : time.h
• arch_clock_init() : time.h
• arch_getchar() : io.h
• arch_halt() : kernel.h
• arch_is_kernel_address() : kernel.h
• arch_isr_disable_interrupts() : core.h
• arch_isr_enable_interrupts() : core.h
• arch_isr_init() : core.h
• arch_logging_stream_output() : logging.h
• arch_poweroff() : kernel.h
• arch_putchar() : io.h
• arch_restart() : kernel.h
• arch_selftest() : kshell.h
• arch_syscall_init() : sys.h
• arch_task_create() : proc.h
• arch_task_init() : proc.h
• arch_task_switch() : proc.h
• arch_timer_init() : time.h
• arch_timer_uptime_microseconds() : time.h
• arp_receive_packet() : arp.h
• arp_request() : arp.h
• arp_wait_reply() : arp.h
• atag_get_cmdline() : atag.h
• atag_get_initrd2_at() : atag.h
• atag_init() : atag.h
• atoi() : stdlib.h

- b -

• bcm2835_timer_init() : bcm2835_timer.h
• bcm2835_timer_uptime_microseconds() : bcm2835_timer.h
• bitmap_clear() : bitmap.h
• bitmap_get() : bitmap.h
• bitmap_set() : bitmap.h

- c -

• clock_get_current_microseconds() : clock.h
• clock_init() : clock.h
• close() : syscall.h
• cmos_boot_time() : cmos.h
• cmos_current_time() : cmos.h
• cmos_init() : cmos.h
• cmos_read_rtc() : cmos.h
• console_fullscreen() : console.h
• console_init() : console.h
• console_mode_is_vbe() : console.h
• console_putchar() : console.h
• console_write() : console.h
• create_file_descriptor() : descriptor.h
• create_socket_descriptor() : descriptor.h

- d -

• delete_descriptor() : descriptor.h
• descriptor_udp_lookup() : descriptor.h
• dev_fs_create() : dev.h
• dev_fs_init() : dev.h
• dhcp_negotiate() : dhcp.h
• dhcp_receive_packet() : dhcp.h
• dns_lookup() : dns.h

- e -

• ethernet_receive_frame() : ethernet.h
• ethernet_send_frame() : ethernet.h
• execv() : syscall.h
• exit() : syscall.h

- f -

• fake_clock_get_current_microseconds() : fake_clock.h
• fake_clock_init() : fake_clock.h
• frame_allocate() : frame.h
• frame_containing_address() : frame.h
• frame_deallocate() : frame.h
• frame_get_max_count() : frame.h
• frame_get_used_count() : frame.h
• frame_init() : frame.h
• frame_start_address() : frame.h
• fstat() : syscall.h

- g -

• get_descriptor() : descriptor.h
• getchar() : stdio.h
• gethostbyname2() : syscall.h
• getpid() : syscall.h
• gettimeofday() : syscall.h

- i -

• icmpv4_receive_packet() : icmpv4.h
• icmpv4_send_packet() : icmpv4.h
• identity_map() : paging.h
• idt_load() : idt.h
• idt_register_gate() : idt.h
• idt_register_interrupt() : idt.h
• inish_free() : inish.h
• inish_get_array() : inish.h
• inish_get_bool() : inish.h
• inish_get_int() : inish.h
• inish_get_ipv4() : inish.h
• inish_get_kv_pair() : inish.h
• inish_get_section() : inish.h
• inish_get_string() : inish.h
• inish_load() : inish.h
• ipv4_checksum() : ipv4.h
• ipv4_receive_packet() : ipv4.h
• ipv4_send_packet() : ipv4.h
• is_protocol_supported() : descriptor.h
• isr_disable_interrupts() : isr.h
• isr_enable_interrupts() : isr.h
• isr_get_handler() : isr.h
• isr_init() : isr.h
• isr_register_handler() : isr.h

- k -

• k_lseek() : k_syscall.h
• k_not_implemented() : k_syscall.h
• k_open() : k_syscall.h
• k_openat() : k_syscall.h
• kernel_dump_stacktrace() : panic.h
• kernel_panic() : panic.h
• keyboard_get_scancode() : keyboard.h
• keyboard_init() : keyboard.h
• kmain() : kmain.h
• kmain_early_start() : kmain.h
• kmain_start() : kmain.h
• kshell() : kshell.h

- l -

• lseek() : syscall.h

- m -

• map() : paging.h
• map_multiple() : paging.h
• multiboot_find() : multiboot.h

- n -

• net_get_interface() : net.h
• net_interface_init() : net.h

- o -

• open() : syscall.h
• openat() : syscall.h

- p -

• page_containing_address() : paging.h
• page_start_address() : paging.h
• paging_amount_for_byte_size() : paging.h
• paging_init() : paging.h
• pci_get_device() : pci.h
• pci_read() : pci.h
• pci_write() : pci.h
• pit_init() : pit.h
• pit_tick() : pit.h
• pit_uptime() : pit.h
• port_byte_in() : port.h
• port_byte_out() : port.h
• port_dword_in() : port.h
• port_dword_out() : port.h
• port_word_in() : port.h
• port_word_out() : port.h
• proc_fs_create_readonly_file() : proc.h
• proc_fs_init() : proc.h
• putchar() : stdio.h

- r -

• read() : syscall.h
• read_cr0() : register.h
• read_cr2() : register.h
• read_cr3() : register.h
• read_cr4() : register.h
• read_msr() : register.h
• read_rsp() : register.h
• reboot() : syscall.h
• recvfrom() : syscall.h
• rtl8139_driver() : rtl8139.h
• rtl8139_init() : rtl8139.h

- s -

• sendto() : syscall.h
• serial_init() : serial.h
• serial_print() : serial.h
• serial_write() : serial.h
• sock_fs_init() : sock.h
• socket() : syscall.h
• strncpy() : string.h
• strtol_wip() : stdlib.h
• syscall_init() : k_syscall.h

- t -

• tar_fs_create() : tar.h
• task_create() : task.h
• task_exit() : task.h
• task_get_current() : task.h
• task_init() : task.h
• task_print_info() : task.h
• task_schedule() : task.h
• task_schedule_on_timer_tick() : task.h
• test() : syscall.h
• timer_init() : timer.h
• timer_uptime() : timer.h
• timer_uptime_microseconds() : timer.h
• translate() : paging.h
• translate_page() : paging.h

- u -

• udp_receive_packet() : udp.h
• udp_send_packet() : udp.h
• unmap() : paging.h
• unmap_multiple() : paging.h

- v -

• vfs_make_directory() : vfs.h
• vga_text_disable_cursor() : vga_text.h
• vga_text_init() : vga_text.h
• vga_text_move_cursor() : vga_text.h
• vga_text_write_at() : vga_text.h

- w -

• write() : syscall.h
• write_cr0() : register.h
• write_cr3() : register.h
• write_cr4() : register.h
• write_msr() : register.h