As suggested by deraadt@ it's better to have /dev/pvbus1 around then document the need to create it under certain circumstances which are of course availability of multiple virtualization interfaces.
The diff has survived a make build. I'm not sure the adjustment is done perfectly, but I've tried to preserve the length of the line and while there's now empty space, further additions will certainly rectify that. OK? Index: ./etc/MAKEDEV.common =================================================================== RCS file: /home/cvs/src/etc/MAKEDEV.common,v retrieving revision 1.94 diff -u -p -r1.94 MAKEDEV.common --- ./etc/MAKEDEV.common 11 Sep 2016 19:59:51 -0000 1.94 +++ ./etc/MAKEDEV.common 21 Jul 2017 13:20:57 -0000 @@ -167,7 +167,7 @@ target(all, hotplug)dnl target(all, pppx)dnl target(all, fuse)dnl target(all, vmm)dnl -target(all, pvbus, 0)dnl +target(all, pvbus, 0, 1)dnl target(all, bpf)dnl dnl _mkdev(all, {-all-}, {-dnl Index: ./etc/etc.amd64/MAKEDEV =================================================================== RCS file: /home/cvs/src/etc/etc.amd64/MAKEDEV,v retrieving revision 1.115 diff -u -p -r1.115 MAKEDEV --- ./etc/etc.amd64/MAKEDEV 11 Sep 2016 19:59:57 -0000 1.115 +++ ./etc/etc.amd64/MAKEDEV 21 Jul 2017 16:06:36 -0000 @@ -571,7 +571,8 @@ all) R sd5 sd6 sd7 sd8 sd9 cd0 cd1 rd0 tap0 tap1 tap2 tap3 tun0 R tun1 tun2 tun3 bio pty0 fd1 fd1B fd1C fd1D fd1E fd1F fd1G R fd1H fd0 fd0B fd0C fd0D fd0E fd0F fd0G fd0H diskmap vscsi0 - R ch0 audio0 audio1 audio2 bpf pvbus0 vmm fuse pppx hotplug + R ch0 audio0 audio1 audio2 bpf pvbus0 pvbus1 vmm fuse pppx + R hotplug R ptm gpr0 local wscons pci0 pci1 pci2 pci3 uall rmidi0 rmidi1 R rmidi2 rmidi3 rmidi4 rmidi5 rmidi6 rmidi7 tuner0 radio0 R speaker video0 video1 uk0 random lpa0 lpa1 lpa2 lpt0 lpt1 Index: ./etc/etc.i386/MAKEDEV =================================================================== RCS file: /home/cvs/src/etc/etc.i386/MAKEDEV,v retrieving revision 1.255 diff -u -p -r1.255 MAKEDEV --- ./etc/etc.i386/MAKEDEV 11 Sep 2016 19:59:57 -0000 1.255 +++ ./etc/etc.i386/MAKEDEV 21 Jul 2017 15:50:00 -0000 @@ -575,8 +575,9 @@ all) R sd1 sd2 sd3 sd4 sd5 sd6 sd7 sd8 sd9 cd0 cd1 rd0 tap0 tap1 R tap2 tap3 tun0 tun1 tun2 tun3 bio pty0 fd1 fd1B fd1C fd1D R fd1E fd1F fd1G fd1H fd0 fd0B fd0C fd0D fd0E fd0F fd0G fd0H - R diskmap vscsi0 ch0 audio0 audio1 audio2 bpf pvbus0 vmm fuse - R pppx hotplug ptm gpr0 local wscons pci0 pci1 pci2 pci3 uall + R diskmap vscsi0 ch0 audio0 audio1 audio2 bpf pvbus0 pvbus1 + R vmm fuse pppx hotplug ptm gpr0 local wscons + R pci0 pci1 pci2 pci3 uall R rmidi0 rmidi1 rmidi2 rmidi3 rmidi4 rmidi5 rmidi6 rmidi7 R tuner0 radio0 speaker video0 video1 uk0 random joy0 joy1 R lpa0 lpa1 lpa2 lpt0 lpt1 lpt2 tty00 tty01 tty02 tty03 tty04