ps3_close_hv_device
int ps3_close_hv_device(struct ps3_system_bus_device *dev);
EXPORT_SYMBOL_GPL(ps3_close_hv_device);
ps3_close_hv_device(dev);
ps3_close_hv_device(dev);
ps3_close_hv_device(dev);
ps3_close_hv_device(dev);
error = ps3_close_hv_device(sbd);
ps3_close_hv_device(ps3_flash_workaround.disk_sbd);
ps3_close_hv_device(dev);
ps3_close_hv_device(dev);
ps3_close_hv_device(dev);
ps3_close_hv_device(dev);
ps3_close_hv_device(dev);
ps3_close_hv_device(dev);
ps3_close_hv_device(dev);
ps3_close_hv_device(dev);