void dm_init_char_devices(void) { int zero = dm_device_register(&__zero_kdev); int null = dm_device_register(&__null_kdev); sys_mknod("/dev/null", S_IFCHR | 0666, GETDEV(null, 0)); sys_mknod("/dev/zero", S_IFCHR | 0666, GETDEV(zero, 0)); }
void blockdev_init(void) { block_major = dm_device_register(&__kdev_block); block_cache_init(); block_buffer_init(); loader_add_kernel_symbol(blockdev_register); loader_add_kernel_symbol(blockdev_register_partition); }
int module_install(void) { printk(1, "[keyboard]: Driver loading\n"); spinlock_create(&lock); irqk = cpu_interrupt_register_handler(IRQ1, __int_handle); flush_port(); keyboard_major = dm_device_register(&kbkd); sys_mknod("/dev/keyboard", S_IFCHR | 0644, GETDEV(keyboard_major, 0)); printk(1, "[keyboard]: initialized keyboard\n"); return 0; }
void pty_init(void) { pty_major = dm_device_register(&__pty_kdev); sys_mknod("/dev/tty", S_IFCHR | 0666, GETDEV(pty_major, 0)); }