env_string        146 drivers/vfio/mdev/mdev_core.c 	char *env_string = "MDEV_STATE=registered";
env_string        147 drivers/vfio/mdev/mdev_core.c 	char *envp[] = { env_string, NULL };
env_string        224 drivers/vfio/mdev/mdev_core.c 	char *env_string = "MDEV_STATE=unregistered";
env_string        225 drivers/vfio/mdev/mdev_core.c 	char *envp[] = { env_string, NULL };