- f -

• fiasco_gdt_get_entry_offset() : segment.h
• fiasco_gdt_set() : segment.h
• fiasco_ldt_set() : segment.h
• fiasco_profile_start() : kdebug.h
• fiasco_profile_stop() : kdebug.h
• fiasco_profile_stop_and_dump() : kdebug.h
• fiasco_tbuf_clear() : ktrace.h
• fiasco_tbuf_dump() : ktrace.h
• fiasco_tbuf_get_status() : ktrace.h
• fiasco_tbuf_get_status_phys() : ktrace.h
• fiasco_tbuf_log() : ktrace.h
• fiasco_tbuf_log_3val() : ktrace.h
• fiasco_tbuf_log_binary() : ktrace.h
• fiasco_timer_disable() : ktrace.h
• fiasco_timer_enable() : ktrace.h
• fiasco_watchdog_disable() : kdebug.h
• fiasco_watchdog_enable() : kdebug.h
• fiasco_watchdog_giveback() : kdebug.h
• fiasco_watchdog_takeover() : kdebug.h
• fiasco_watchdog_touch() : kdebug.h

- l -

• l4_capfpage() : __l4_fpage-32bit.h , __l4_fpage-64bit.h , __l4_fpage-common.h
• l4_fpage() : __l4_fpage-32bit.h , __l4_fpage-64bit.h , __l4_fpage-common.h
• l4_fpage_unmap() : syscalls_gen.h
• l4_fpage_unmap_taskid() : syscalls_gen.h , syscalls-impl.h
• l4_get_irqnr() : ARCH-x86/L4API-l4v2/types.h
• l4_get_rcv_msg_from_descr() : L4API-l4v2/ipc.h , ipc-impl.h
• l4_get_snd_msg_from_descr() : L4API-l4v2/ipc.h , ipc-impl.h
• l4_get_taskid() : ARCH-x86/L4API-l4v2/types.h
• l4_imb() : cache.h
• l4_inter_task_ex_regs() : syscalls_gen.h , syscalls-impl.h
• l4_iofpage() : __l4_fpage-32bit.h , __l4_fpage-64bit.h , __l4_fpage-common.h
• l4_ipc_call() : L4API-l4v2/ipc.h , ipc-impl.h
• l4_ipc_call_tag() : L4API-l4v2/ipc.h
• l4_ipc_fpage_received() : L4API-l4v2/ipc.h , ipc-impl.h
• l4_ipc_is_fpage_granted() : L4API-l4v2/ipc.h , ipc-impl.h
• l4_ipc_is_fpage_writable() : L4API-l4v2/ipc.h , ipc-impl.h
• l4_ipc_receive() : ipc-impl.h , L4API-l4v2/ipc.h
• l4_ipc_receive_tag() : L4API-l4v2/ipc.h
• l4_ipc_reply_and_wait() : L4API-l4v2/ipc.h , ipc-impl.h
• l4_ipc_reply_and_wait_tag() : L4API-l4v2/ipc.h
• l4_ipc_send() : L4API-l4v2/ipc.h , ipc-impl.h
• l4_ipc_send_tag() : L4API-l4v2/ipc.h
• l4_ipc_sleep() : L4API-l4v2/ipc.h , ipc-impl.h
• l4_ipc_timeout() : __timeout.h
• l4_ipc_wait() : L4API-l4v2/ipc.h , ipc-impl.h
• l4_ipc_wait_next_period() : L4API-l4v2/ipc.h
• l4_ipc_wait_tag() : L4API-l4v2/ipc.h
• l4_is_invalid_id() : ARCH-x86/L4API-l4v2/types.h
• l4_is_invalid_sched_param() : ARCH-x86/L4API-l4v2/types.h
• l4_is_io_page_fault() : __l4_fpage-32bit.h , __l4_fpage-64bit.h , __l4_fpage-common.h
• l4_is_irq_id() : ARCH-x86/L4API-l4v2/types.h
• l4_is_long_rcv_descr() : L4API-l4v2/ipc.h , ipc-impl.h
• l4_is_long_snd_descr() : L4API-l4v2/ipc.h , ipc-impl.h
• l4_is_nil_id() : ARCH-x86/L4API-l4v2/types.h
• l4_is_rcv_map_descr() : L4API-l4v2/ipc.h , ipc-impl.h
• l4_kernel_info_get_mem_desc_end() : memdesc.h
• l4_kernel_info_get_mem_desc_is_virtual() : memdesc.h
• l4_kernel_info_get_mem_desc_start() : memdesc.h
• l4_kernel_info_get_mem_desc_subtype() : memdesc.h
• l4_kernel_info_get_mem_desc_type() : memdesc.h
• l4_kernel_info_get_mem_descs() : memdesc.h
• l4_kernel_info_get_num_mem_descs() : memdesc.h
• l4_kernel_info_set_mem_desc() : memdesc.h
• l4_kernel_info_version_offset() : kernel.h
• l4_kernel_interface() : syscalls_gen.h , ARCH-amd64/L4API-l4v2/syscalls.h , ARCH-x86/L4API-l4v2/syscalls.h
• l4_make_taskid_from_irq() : ARCH-x86/L4API-l4v2/types.h
• l4_msgtag() : types.h
• l4_msgtag_flags() : types.h
• l4_msgtag_is_cap_fault() : types.h
• l4_msgtag_is_exception() : types.h
• l4_msgtag_is_io_page_fault() : types.h
• l4_msgtag_is_irq() : types.h
• l4_msgtag_is_page_fault() : types.h
• l4_msgtag_is_preemption() : types.h
• l4_msgtag_is_sigma0() : types.h
• l4_msgtag_is_sys_exception() : types.h
• l4_msgtag_items() : types.h
• l4_msgtag_label() : types.h
• l4_msgtag_words() : types.h
• l4_myself() : syscalls_gen.h
• l4_myself_noprof() : syscalls-impl.h , syscalls_gen.h
• l4_nchief() : syscalls_gen.h
• l4_privctrl() : syscalls_gen.h
• l4_rcv_timeout() : __timeout.h
• l4_sched_param_set_time() : ARCH-x86/L4API-l4v2/types.h
• l4_snd_timeout() : __timeout.h
• l4_sys_cache_clean_range() : cache.h , ARCH-arm/cache.h
• l4_task_equal() : ARCH-x86/L4API-l4v2/types.h
• l4_task_new() : syscalls_gen.h , syscalls-impl.h
• l4_task_new_long() : syscalls-impl.h , syscalls_gen.h
• l4_task_new_sc() : syscalls_gen.h
• l4_tasknum_equal() : ARCH-x86/L4API-l4v2/types.h
• l4_thread_equal() : ARCH-x86/L4API-l4v2/types.h
• l4_thread_ex_regs() : syscalls_gen.h , syscalls-impl.h
• l4_thread_ex_regs_flags() : syscalls-impl.h , syscalls_gen.h
• l4_thread_ex_regs_pager() : syscalls-impl.h , syscalls_gen.h
• l4_thread_ex_regs_sc() : syscalls_gen.h
• l4_thread_schedule() : syscalls_gen.h
• l4_thread_switch() : syscalls_gen.h
• l4_timeout() : __timeout.h
• l4_timeout_abs() : __timeout.h
• l4_timeout_abs_get() : __timeout.h
• l4_timeout_get() : __timeout.h
• l4_timeout_is_absolute() : __timeout.h
• l4_timeout_rel() : __timeout.h
• l4_timeout_rel_get() : __timeout.h
• l4_utcb_exc_is_pf() : ARCH-amd64/utcb.h , ARCH-arm/utcb.h , ARCH-x86/utcb.h , utcb.h
• l4_utcb_exc_pc() : ARCH-x86/utcb.h , ARCH-arm/utcb.h , ARCH-amd64/utcb.h , utcb.h
• l4_utcb_exc_pfa() : utcb.h , ARCH-x86/utcb.h , ARCH-amd64/utcb.h , ARCH-arm/utcb.h
• l4_utcb_exc_typeval() : ARCH-amd64/utcb.h , utcb.h , ARCH-x86/utcb.h , ARCH-arm/utcb.h
• l4_utcb_get() : ARCH-amd64/utcb.h , ARCH-x86/utcb.h , utcb.h
• l4_utcb_inherit_fpu() : utcb.h
• l4_yield() : syscalls_gen.h , syscalls-impl.h
• l4kd_inchar() : kdebug.h
• l4sys_utcb_get() : utcb.h

- o -

• outchar() : kdebug.h
• outdec() : kdebug.h
• outhex12() : kdebug.h
• outhex16() : kdebug.h
• outhex20() : kdebug.h
• outhex32() : kdebug.h
• outhex8() : kdebug.h
• outnstring() : kdebug.h
• outstring() : kdebug.h