Symbol: get_server_type
kernel/trace/rv/monitors/deadline/deadline.h
142
if (tsk->dl_server && get_server_type(tsk) == type)
kernel/trace/rv/monitors/nomiss/nomiss.c
191
get_server_type(next)),