Symbol: mount_devctl_event