Symbol: efinet_dev_print
usr/src/boot/efi/libefi/efinet.c
278
static int efinet_dev_print(int);
usr/src/boot/efi/libefi/efinet.c
288
.dv_print = efinet_dev_print,