- l -

• L4_CAP_MAX : __l4_fpage-common.h
• L4_FPAGE_BUFFERABLE : __l4_fpage-common.h
• L4_FPAGE_CACHE_OPT : __l4_fpage-common.h
• L4_FPAGE_CACHEABLE : __l4_fpage-common.h
• L4_FPAGE_GRANT : __l4_fpage-common.h
• L4_FPAGE_MAP : __l4_fpage-common.h
• L4_FPAGE_RO : __l4_fpage-common.h
• L4_FPAGE_RW : __l4_fpage-common.h
• L4_FPAGE_UNCACHEABLE : __l4_fpage-common.h
• L4_IOPORT_MAX : __l4_fpage-common.h
• L4_KQUOTA_CMD_NEW : types.h
• L4_KQUOTA_CMD_NOOP : types.h
• L4_KQUOTA_CMD_SHARE : types.h
• L4_MSGTAG_CAP_FAULT : types.h
• L4_MSGTAG_EXCEPTION : types.h
• L4_MSGTAG_IO_PAGE_FAULT : types.h
• L4_MSGTAG_IRQ : types.h
• L4_MSGTAG_PAGE_FAULT : types.h
• L4_MSGTAG_PREEMPTION : types.h
• L4_MSGTAG_SIGMA0 : types.h
• L4_MSGTAG_SYS_EXCEPTION : types.h
• L4_TASK_NEW_ALIEN : syscalls_gen.h
• L4_TASK_NEW_FLAGS_MASK : syscalls_gen.h
• L4_TASK_NEW_NR_OF_FLAGS : syscalls_gen.h
• L4_TASK_NEW_RAISE_EXCEPTION : syscalls_gen.h
• L4_TASK_NEW_UTCB_ARGS : syscalls_gen.h
• L4_THREAD_EX_REGS_ALIEN : syscalls_gen.h
• L4_THREAD_EX_REGS_NO_CANCEL : syscalls_gen.h
• L4_THREAD_EX_REGS_RAISE_EXCEPTION : syscalls_gen.h
• L4_THREAD_EX_REGS_TASK_ID_SHIFT : syscalls_gen.h
• L4_THREAD_EX_REGS_UTCB_ARGS : syscalls_gen.h
• L4_THREAD_EX_REGS_VM86 : syscalls_gen.h
• L4_TYPE_VHW_FRAMEBUFFER : vhw.h
• L4_TYPE_VHW_INPUT : vhw.h
• L4_TYPE_VHW_NET : vhw.h
• L4_TYPE_VHW_NONE : vhw.h
• L4_WHOLE_ADDRESS_SPACE : __l4_fpage-64bit.h , __l4_fpage-32bit.h
• L4_WHOLE_CAPADDRESS_SPACE : __l4_fpage-common.h
• L4_WHOLE_IOADDRESS_SPACE : __l4_fpage-common.h