Symbol: handle_schedule_exit
kernel/trace/rv/monitors/sco/sco.c
30
static void handle_schedule_exit(void *data, bool is_switch)
kernel/trace/rv/monitors/scpd/scpd.c
36
static void handle_schedule_exit(void *data, bool is_switch)
kernel/trace/rv/monitors/snep/snep.c
36
static void handle_schedule_exit(void *data, bool is_switch)
kernel/trace/rv/monitors/sts/sts.c
88
static void handle_schedule_exit(void *data, bool is_switch)