# startup.c
kerflg
exit_kernel

# task.c
p_runtsk
p_schedtsk
reqflg
disdsp
dspflg
ready_queue
ready_primap
initialize_task
search_schedtsk
make_runnable
make_non_runnable
make_dormant
make_active
change_priority
rotate_ready_queue
call_texrtn
calltex

# wait.c
make_wait_tmout
wait_complete
wait_tmout
wait_tmout_ok
wait_release
wobj_make_wait
wobj_make_wait_tmout
init_wait_queue

# time_event.c
current_time
min_time
next_time
next_subtime
last_index
initialize_tmevt
tmevt_up
tmevt_down
tmevtb_insert
tmevtb_delete
tmevt_lefttim
signal_time

# semaphore.c
initialize_semaphore

# eventflag.c
initialize_eventflag
check_flg_cond

# dataqueue.c
initialize_dataqueue
enqueue_data
force_enqueue_data
dequeue_data
send_data
force_send_data
receive_data

# pridataq.c
initialize_pridataq
enqueue_pridata
dequeue_pridata
send_pridata
receive_pridata

# mailbox.c
initialize_mailbox

# mempfix.c
initialize_mempfix
get_mpf_block

# cyclic.c
initialize_cyclic
call_cychdr

# alarm.c
initialize_alarm
call_almhdr

# overrun.c
initialize_overrun
ovrtimer_start
ovrtimer_stop
call_ovrhdr

# interrupt.c
initialize_interrupt

# exception.c
initialize_exception

# kernel_cfg.c
initialize_object
call_inirtn
call_terrtn
tmax_tskid
tinib_table
torder_table
tcb_table
tmax_semid
seminib_table
semcb_table
tmax_flgid
flginib_table
flgcb_table
tmax_dtqid
dtqcb_table
dtqinib_table
tmax_pdqid
pdqcb_table
pdqinib_table
tmax_mbxid
mbxcb_table
mbxinib_table
tmax_mpfid
mpfinib_table
mpfcb_table
tmax_cycid
cycinib_table
cyccb_table
tmax_almid
alminib_table
almcb_table
ovrinib
tnum_inhno
inhinib_table
tnum_intno
intinib_table
tnum_excno
excinib_table
tmevt_heap
istksz
istk
istkpt

INCLUDE "target"
