.globl init_early
.globl init_hardware
.globl _program_vectors
- .globl _system_tick_counter
.globl _kernel_flag
.globl map_kernel
.globl init_early
.globl init_hardware
.globl _program_vectors
- .globl _system_tick_counter
.globl platform_interrupt_all
.globl map_kernel
.globl page17out
.globl interrupt_handler
.globl _program_vectors
- .globl _system_tick_counter
.globl _tty_putc
.globl _tty_writeready
.globl _tty_outproc
.globl init_hardware
.globl interrupt_handler
.globl _program_vectors
- .globl _system_tick_counter
.globl map_kernel
.globl map_process
.globl map_process_a
.globl init_hardware
.globl interrupt_handler
.globl _program_vectors
- .globl _system_tick_counter
.globl map_kernel
.globl map_process
.globl map_process_a
.globl init_hardware
.globl interrupt_handler
.globl _program_vectors
- .globl _system_tick_counter
.globl map_kernel
.globl map_process
.globl map_process_a
.globl init_early
.globl init_hardware
.globl _program_vectors
- .globl _system_tick_counter
.globl platform_interrupt_all
.globl map_kernel