<dec f='src/src/sys/arch/x86/x86/efi.c' l='61' type='void efi_aprintcfgtbl()'/>
<use f='src/src/sys/arch/x86/x86/efi.c' l='158' u='c' c='efi_getcfgtblhead'/>
<def f='src/src/sys/arch/x86/x86/efi.c' l='166' ll='180' type='void efi_aprintcfgtbl()'/>
<doc f='src/src/sys/arch/x86/x86/efi.c' l='163'>/*
 * Print the config tables.
 */</doc>
