Symbol: DEVPATH_TYPE_BIOS
sbin/efi/devpath.c
130
case DEVPATH_TYPE_BIOS: devpath_bios(dp, path, dbg); return; /* Type 5 */
sbin/efi/devpath.h
92
[DEVPATH_TYPE_BIOS] = "BIOS",