DEFAULT_DEVICE_NAME
config = vkms_config_create(DEFAULT_DEVICE_NAME);
if (strcmp(name, DEFAULT_DEVICE_NAME) == 0)