cdev_wsdisplay_init
cdev_wsdisplay_init(NWSDISPLAY,wsdisplay), /* 25: workstation console */
cdev_wsdisplay_init(NWSDISPLAY, /* 12: frame buffers, etc. */
cdev_wsdisplay_init(NWSDISPLAY,wsdisplay), /* 60: frame buffers, etc.*/
cdev_wsdisplay_init(NWSDISPLAY, /* 12: frame buffers, etc. */
cdev_wsdisplay_init(NWSDISPLAY, /* 27: workstation console */
cdev_wsdisplay_init(NWSDISPLAY, /* 12: frame buffers, etc. */
cdev_wsdisplay_init(NWSDISPLAY,wsdisplay), /* 60: frame buffers, etc.*/
cdev_wsdisplay_init(NWSDISPLAY, wsdisplay), /* 25: */
cdev_wsdisplay_init(NWSDISPLAY, /* 13: frame buffers, etc. */
cdev_wsdisplay_init(NWSDISPLAY, /* 67: frame buffers, etc. */
cdev_wsdisplay_init(NWSDISPLAY, wsdisplay), /* 25: */
cdev_wsdisplay_init(NWSDISPLAY, /* 40: frame buffers, etc. */
cdev_wsdisplay_init(NWSDISPLAY, /* 12: frame buffers, etc. */
cdev_wsdisplay_init(NWSDISPLAY, /* 78: frame buffers, etc. */