/* If configured, or requested by the commandline, devtmpfs will be auto-mounted after the kernel mounted the root filesystem.  */
int devtmpfs_mount(const char *mntdir)
/* If configured, or requested by the commandline, devtmpfs will be auto-mounted after the kernel mounted the root filesystem.  */
int devtmpfs_mount(const char *mntdir)
{
	int err;
	if (!dev_mount)
		return 0;
	if (!dev_mnt)
		return 0;
	err = sys_mount("devtmpfs", (char *)mntdir, "devtmpfs", MS_SILENT, NULL);
	if (err)
		printk(KERN_INFO "devtmpfs: error mounting %i\n", err);
	else
		printk(KERN_INFO "devtmpfs: mounted\n");
	return err;
}