Symbol: devpath_bios
sbin/efi/devpath.c
130
case DEVPATH_TYPE_BIOS: devpath_bios(dp, path, dbg); return; /* Type 5 */
sbin/efi/devpath5.h
33
void devpath_bios(devpath_t *, devpath_elm_t *, devpath_elm_t *);