var searchData=
[
  ['i_20o_20api_0',['IA32 Port I/O API',['../group__l4util__port__io.html',1,'']]],
  ['ia32_20port_20i_20o_20api_1',['IA32 Port I/O API',['../group__l4util__port__io.html',1,'']]],
  ['identifiers_2',['L4Re Protocol identifiers',['../group__api__l4re__protocols.html',1,'']]],
  ['implementation_3',['L4SHM-based ring buffer implementation',['../group__api__l4shm__ringbuf.html',1,'']]],
  ['information_4',['L4Re ELF Auxiliary Information',['../group__api__l4re__elf__aux.html',1,'']]],
  ['information_5',['L4 kernel object type information',['../group__l4__kobject__rtti.html',1,'']]],
  ['information_20dump_6',['Kernel Information Dump',['../group__fiasco__dump__api.html',1,'']]],
  ['initial_20environment_7',['Initial Environment',['../group__api__l4re__env.html',1,'']]],
  ['input_20device_8',['L4 VIRTIO Input Device',['../group__l4virtio__input.html',1,'']]],
  ['instructions_9',['Atomic Instructions',['../group__l4util__atomic.html',1,'']]],
  ['integer_20types_10',['Integer Types',['../group__l4__basic__types.html',1,'']]],
  ['interface_11',['Interface',['../group__api__l4re__c__dma.html',1,'DMA Space Interface'],['../group__l4virtio.html',1,'L4 VIRTIO Interface'],['../group__api__l4re__c.html',1,'L4Re C Interface'],['../group__api__l4re.html',1,'L4Re C++ Interface'],['../group__api__l4re__c__util.html',1,'L4Re Util C Interface'],['../group__api__l4re__util.html',1,'L4Re Util C++ Interface']]],
  ['interface_12',['interface',['../group__api__l4re__c__ds.html',1,'Dataspace interface'],['../group__api__l4re__c__debug.html',1,'Debug interface'],['../group__api__l4re__c__event.html',1,'Event interface'],['../group__api__l4io.html',1,'IO interface'],['../group__api__l4re__c__log.html',1,'Log interface'],['../group__api__l4re__log.html',1,'Logging interface'],['../group__api__l4re__c__ns.html',1,'Namespace interface'],['../group__api__l4re__c__parent.html',1,'Parent interface'],['../group__api__l4re__c__rm.html',1,'Region map interface']]],
  ['interface_20definition_13',['C++ IPC Interface Definition.',['../group__l4__cxx__ipc__ifaces.html',1,'']]],
  ['interface_20for_20asynchronous_20isr_20handlers_14',['Interface for asynchronous ISR handlers.',['../group__l4irq__api__async.html',1,'']]],
  ['interface_20for_20asynchronous_20isr_20handlers_20with_20a_20given_20irq_20capability_15',['Interface for asynchronous ISR handlers with a given IRQ capability.',['../group__l4irq__api__async__cap.html',1,'']]],
  ['interface_20page_16',['Kernel Interface Page',['../group__l4__kip__api.html',1,'']]],
  ['interface_20page_20api_17',['Kernel Interface Page API',['../group__l4util__kip__api.html',1,'']]],
  ['interface_20using_20direct_20functionality_18',['Interface using direct functionality',['../group__l4irq__api__irq.html',1,'Interface using direct functionality.'],['../group__l4irq__api__irq__cap.html',1,'Interface using direct functionality.']]],
  ['internal_19',['Internal',['../group__api__l4shm__ringbuf__internal.html',1,'']]],
  ['internal_20constants_20',['Internal constants',['../group__l4sigma0__api__internal.html',1,'']]],
  ['internal_20functions_21',['Internal functions',['../group__l4util__internal.html',1,'']]],
  ['internal_20helpers_22',['Internal Helpers',['../group__l4__cxx__ipc__internal.html',1,'']]],
  ['interrupt_20controller_23',['Interrupt controller',['../group__l4__icu__api.html',1,'']]],
  ['invocation_24',['Object Invocation',['../group__l4__ipc__api.html',1,'']]],
  ['io_20interface_25',['IO interface',['../group__api__l4io.html',1,'']]],
  ['ipc_20framework_26',['The L4Re IPC Framework',['../group__client__server__ipc.html',1,'']]],
  ['ipc_20framework_27',['Server-Side IPC framework',['../group__cxx__ipc__server.html',1,'']]],
  ['ipc_20gate_20api_28',['IPC-Gate API',['../group__l4__kernel__object__gate__api.html',1,'']]],
  ['ipc_20helpers_29',['IPC Helpers',['../group__helper.html',1,'']]],
  ['ipc_20interface_20definition_30',['C++ IPC Interface Definition.',['../group__l4__cxx__ipc__ifaces.html',1,'']]],
  ['ipc_20opcodes_31',['L4 IPC Opcodes',['../group__l4__protocol__ops.html',1,'']]],
  ['irq_20capability_32',['Interface for asynchronous ISR handlers with a given IRQ capability.',['../group__l4irq__api__async__cap.html',1,'']]],
  ['irq_20handling_20library_33',['IRQ handling library',['../group__l4irq__api.html',1,'']]],
  ['irqs_34',['IRQs',['../group__l4__irq__api.html',1,'']]],
  ['isr_20handlers_35',['Interface for asynchronous ISR handlers.',['../group__l4irq__api__async.html',1,'']]],
  ['isr_20handlers_20with_20a_20given_20irq_20capability_36',['Interface for asynchronous ISR handlers with a given IRQ capability.',['../group__l4irq__api__async__cap.html',1,'']]],
  ['items_37',['Message Items',['../group__l4__msgitem__api.html',1,'']]]
];
