DEVICE_NAME_USER  350 drivers/virt/vboxguest/vboxguest_linux.c 	gdev->misc_device_user.name = DEVICE_NAME_USER;
DEVICE_NAME_USER  380 drivers/virt/vboxguest/vboxguest_linux.c 			DEVICE_NAME_USER, ret);