Symbol: ti_sci_cmd_core_reboot
drivers/firmware/ti_sci.c
3335
core_ops->reboot_device = ti_sci_cmd_core_reboot;
drivers/firmware/ti_sci.c
3870
ti_sci_cmd_core_reboot(handle);