Searched refs:efi_aprintcfgtbl (Results 1 – 1 of 1) sorted by relevance
63 void efi_aprintcfgtbl(void);192 efi_aprintcfgtbl(); in efi_getcfgtblhead()201 efi_aprintcfgtbl(void) in efi_aprintcfgtbl() function