var searchData=
[
  ['page_0',['Kernel Interface Page',['../group__l4__kip__api.html',1,'']]],
  ['page_20api_1',['Kernel Interface Page API',['../group__l4util__kip__api.html',1,'']]],
  ['parent_20api_2',['Parent API',['../group__api__l4re__parent.html',1,'']]],
  ['parent_20interface_3',['Parent interface',['../group__api__l4re__c__parent.html',1,'']]],
  ['parsing_4',['Comfortable Command Line Parsing',['../group__l4util__parse__cmd.html',1,'']]],
  ['parsing_20functionality_5',['EDID parsing functionality',['../group__libedid.html',1,'']]],
  ['pci_20functions_6',['L4vbus PCI functions',['../group__l4vbus__pci__module.html',1,'']]],
  ['platform_20control_20c_20api_7',['Platform Control C API',['../group__l4__platform__control__api.html',1,'']]],
  ['port_20i_20o_20api_8',['IA32 Port I/O API',['../group__l4util__port__io.html',1,'']]],
  ['power_20management_20functions_9',['L4vbus power management functions',['../group__l4vbus__pm__module.html',1,'']]],
  ['producer_10',['Producer',['../group__api__l4shmc__chunk__prod.html',1,'Producer'],['../group__api__l4shmc__signal__prod.html',1,'Producer']]],
  ['protocol_20identifiers_11',['L4Re Protocol identifiers',['../group__api__l4re__protocols.html',1,'']]],
  ['provided_20semaphore_12',['Kernel-provided semaphore',['../group__l4__semaphore__api.html',1,'']]]
];
