Extracted from firmware/pcbios/bios.c
drwxr-xr-x - src