Patch title: Release 93 bulk changes
Abstract:
File: /linux/kernel/device.pli
Key:
    Removed line
    Added line
   
module "/pliant/language/os.pli"
module "/pliant/admin/file.pli"


  eif name="mem"
    status := kernel_make_device device kernel_character_dev
    file_rights device 0 15 0 3*8+7
  eif name="null"
    status := kernel_make_device device kernel_character_dev
  eif name="zero"
    status := kernel_make_device device kernel_character_dev
  eif name="random"
    status := kernel_make_device device kernel_character_dev
  eif name="rtc"
    status := kernel_make_device device kernel_character_dev
  eif (name parse "ram" (var Int i))  and i>=0 and i<=16
    status := kernel_make_device device kernel_bloc_device 1
module "/pliant/language/os.pli"
module "/pliant/admin/file.pli"


  eif name="mem"
    status := kernel_make_device device kernel_character_dev
    file_rights device 0 15 0 3*8+7
  eif name="null"
    status := kernel_make_device device kernel_character_dev
  eif name="zero"
    status := kernel_make_device device kernel_character_dev
  eif name="random"
    status := kernel_make_device device kernel_character_dev
  eif name="rtc"
    status := kernel_make_device device kernel_character_dev
  eif (name parse "ram" (var Int i))  and i>=0 and i<=16
    status := kernel_make_device device kernel_bloc_device 1
  eif name="agpgart"
    status := kernel_make_device device kernel_character_dev
  eif name="raw1394"
    status := kernel_make_device device kernel_character_dev
  eif name="raw1394"
    status := kernel_make_device device kernel_character_dev
  eif name="agpgart"
    status := kernel_make_device device kernel_character_device 10 175
  eif (name parse "fb" (var Int n)) and n>=0 and n<32
    status := kernel_make_device device kernel_character_device 29 n

  eif name="psaux"
    status := kernel_make_device device kernel_character_dev
  eif name="mice"
    status := kernel_make_device device kernel_character_dev
  eif (name parse "lp" (var Int i))  and i>=0 and i<=2
    status := kernel_make_device device kernel_character_dev
  eif (name parse "ttyS" (var Int n)) and n>=0 and n<64
    status := kernel_make_device device kernel_character_dev

  eif name="psaux"
    status := kernel_make_device device kernel_character_dev
  eif name="mice"
    status := kernel_make_device device kernel_character_dev
  eif (name parse "lp" (var Int i))  and i>=0 and i<=2
    status := kernel_make_device device kernel_character_dev
  eif (name parse "ttyS" (var Int n)) and n>=0 and n<64
    status := kernel_make_device device kernel_character_dev
  eif (name parse "fb" (var Int n)) and n>=0 and n<32
    status := kernel_make_device device kernel_character_dev
  eif (name parse "ircomm" (var Int n)) and n>=0 and n<16
    status := kernel_make_device device kernel_character_device 161 n
  eif (name parse "irlpt" (var Int n)) and n>=0 and n<16
    status := kernel_make_device device kernel_character_device 161 16+n



  eif name="dsp"
    status := kernel_make_device device kernel_character_dev
  eif (name parse "dsp" (var Int i)) and i>=1 and i<4
    status := kernel_make_device device kernel_character_dev


  else
    plugin device
      status := failure
  eif name="dsp"
    status := kernel_make_device device kernel_character_dev
  eif (name parse "dsp" (var Int i)) and i>=1 and i<4
    status := kernel_make_device device kernel_character_dev


  else
    plugin device
      status := failure