- i -

• iact_tsk() : kernel.h
• ifsnd_dtq() : kernel.h
• iget_tid() : kernel.h
• iloc_cpu() : kernel.h
• imget_tid() : kernel.h
• imrot_rdq() : kernel.h
• INCLUDE() : hw_serial.cfg, timer.cfg, serial.cfg, logtask.cfg, ipi.cfg
• init_my_local_ccb() : class.h
• init_obj_lock() : cpu_config.h
• init_tsk_lock() : cpu_config.h
• int_handler_call() : cpu_config.c
• interrupt_count() : cpu_support.S, cpu_config.h, cpu_config.c, cpu_rename.h
• interrupt_initialize() : interrupt.h, fdmp_rename.h
• ipi_handler() : ipi.c, ipi.h
• ipi_initialize() : ipi.c, ipi.h
• ipsnd_dtq() : kernel.h
• iras_tex() : kernel.h
• irel_wai() : kernel.h
• irot_rdq() : kernel.h
• iset_flg() : kernel.h
• isig_sem() : kernel.h
• isig_tim() : kernel.h
• itron_strerror() : t_perror.c, strerror.c
• iunl_cpu() : kernel.h
• iwup_tsk() : kernel.h