Symbol: efi_isa_devinfo
usr/src/boot/efi/libefi/efiisaio.c
601
tty->c_devinfo = efi_isa_devinfo;
usr/src/boot/efi/libefi/efiisaio.c
87
static void efi_isa_devinfo(struct console *);