ti_sci_cmd_core_reboot 2933 drivers/firmware/ti_sci.c 	core_ops->reboot_device = ti_sci_cmd_core_reboot;
ti_sci_cmd_core_reboot 3341 drivers/firmware/ti_sci.c 	ti_sci_cmd_core_reboot(handle);