7882 Add /dev/full , the always-full memory device
Reviewed by: Adam Stevko <adam.stevko@gmail.com>
Reviewed by: Toomas Soome <tsoome@me.com>

@@ -16,10 +16,11 @@
 
 file path=usr/share/man/man7d/bscv.7d
 file path=usr/share/man/man7d/console.7d
 file path=usr/share/man/man7d/cpuid.7d
 file path=usr/share/man/man7d/devinfo.7d
+file path=usr/share/man/man7d/full.7d
 file path=usr/share/man/man7d/gld.7d
 file path=usr/share/man/man7d/ipnet.7d
 file path=usr/share/man/man7d/kmdb.7d
 file path=usr/share/man/man7d/llc1.7d
 file path=usr/share/man/man7d/lofi.7d