console_hypervisor_dev_type
cons = console_hypervisor_dev_type(&ttyn);
cons = console_hypervisor_dev_type(&ttyn);
extern int console_hypervisor_dev_type(int *);
cons = console_hypervisor_dev_type(&ttyn);