28c28
< __FBSDID("$FreeBSD: stable/11/sys/boot/userboot/userboot/host.c 313355 2017-02-06 22:03:07Z tsoome $");
---
> __FBSDID("$FreeBSD: stable/11/sys/boot/userboot/userboot/host.c 328889 2018-02-05 17:01:18Z kevans $");
137c137
< static void
---
> static int
142,143c142,147
< sprintf(line, " host%d: Host filesystem\n", 0);
< pager_output(line);
---
> printf("%s devices:", host_dev.dv_name);
> if (pager_output("\n") != 0)
> return (1);
>
> snprintf(line, sizeof(line), " host%d: Host filesystem\n", 0);
> return (pager_output(line));