pollution: device
pollution: devctl_attach
int devctl_attach(const char *device); 

pollution: device
pollution: force
pollution: devctl_detach
int devctl_detach(const char *device, _Bool force); 

pollution: device
pollution: devctl_enable
int devctl_enable(const char *device); 

pollution: device
pollution: force_detach
pollution: devctl_disable
int devctl_disable(const char *device, _Bool force_detach); 

pollution: device
pollution: devctl_suspend
int devctl_suspend(const char *device); 

pollution: device
pollution: devctl_resume
int devctl_resume(const char *device); 

pollution: device
pollution: driver
pollution: force
pollution: devctl_set_driver
int devctl_set_driver(const char *device, const char *driver, _Bool force); 

pollution: device
pollution: force
pollution: devctl_clear_driver
int devctl_clear_driver(const char *device, _Bool force); 

pollution: device
pollution: devctl_rescan
int devctl_rescan(const char *device); 

pollution: device
pollution: force
pollution: devctl_delete
int devctl_delete(const char *device, _Bool force); 

pollution: devctl_freeze
int devctl_freeze(void); 

pollution: devctl_thaw
int devctl_thaw(void); 

pollution: device
pollution: detach
pollution: devctl_reset
int devctl_reset(const char *device, _Bool detach); 

pollution: device
pollution: locator
pollution: buffer
pollution: devctl_getpath
int devctl_getpath(const char *device, const char *locator, char **buffer); 

pollution: bool
#define bool _Bool

pollution: false
#define false 0

pollution: true
#define true 1