node-drivers/base-driver/drivers/vca/plx87xx/plx_main.c
static void plx_device_destroy(struct plx_device *xdev)
{
	ida_simple_remove(&g_plx_ida, xdev->id);
	kfree(xdev);
}
/**
 * plx_device_destroy - Destroys plx device
 * @xdev: Pointer to plx device to destroy
 */
Destroys plx device
@xdev: Pointer to plx device to destroy
Destroys plx device @xdev : Pointer to plx device to destroy
static void plx_device_destroy(struct plx_device *xdev)
{
	ida_simple_remove(&g_plx_ida, xdev->id);
	kfree(xdev);
}
static void plx_device_destroy ( struct plx_device * xdev ) { ida_simple_remove ( & g_plx_ida , xdev -> id ) ; kfree ( xdev ) ; }
plx_device_destroy - Destroys plx device
 @xdev: Pointer to plx device to destroy
plx_device_destroy - Destroys plx device @xdev : Pointer to plx device to destroy