Symbol: device_shutdown
drivers/scsi/mpi3mr/mpi/mpi30_cnfg.h
1010
__le16 device_shutdown;
include/linux/device.h
1372
void device_shutdown(void);
kernel/reboot.c
105
device_shutdown();
kernel/reboot.c
308
device_shutdown();