29c29
< __FBSDID("$FreeBSD: stable/11/sys/boot/efi/libefi/efinet.c 315221 2017-03-14 02:06:03Z pfg $");
---
> __FBSDID("$FreeBSD: stable/11/sys/boot/efi/libefi/efinet.c 328889 2018-02-05 17:01:18Z kevans $");
255c255
< static void efinet_dev_print(int);
---
> static int efinet_dev_print(int);
349c349
< static void
---
> static int
354c354
< int unit;
---
> int unit, ret = 0;
356c356,359
< pager_open();
---
> printf("%s devices:", efinet_dev.dv_name);
> if ((ret = pager_output("\n")) != 0)
> return (ret);
>
365c368
< if (pager_output("\n"))
---
> if ((ret = pager_output("\n")) != 0)
368c371
< pager_close();
---
> return (ret);