Destroy a wfdcfg device.
#include <wfdqnx/wfdcfg.h>
void wfdcfg_device_destroy(struct wfdcfg_device *device)
A handle to the device to be destroyed; if NULL, no action will be taken
Memory allocated that was allocated by create wfdcfg_device_create() is released. The device's extension pointers are not valid after calling this function.
Nothing.