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,25 ****
--- 16,26 ----
  
  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