<dec f='src/src/sys/sys/common_int_fmtio.h' l='107'/>
<use f='src/src/sys/arch/x86/x86/efi.c' l='125' u='c'/>
<use f='src/src/sys/arch/x86/x86/efi.c' l='126' u='c'/>
<use f='src/src/sys/dev/acpi/acpi_display.c' l='1872' u='c'/>
