reboot_device    2933 drivers/firmware/ti_sci.c 	core_ops->reboot_device = ti_sci_cmd_core_reboot;
reboot_device      37 include/linux/soc/ti/ti_sci_protocol.h 	int (*reboot_device)(const struct ti_sci_handle *handle);