Symbol: ct_kernel_exit
kernel/context_tracking.c
103
static void noinstr ct_kernel_exit(bool user, int offset)
kernel/context_tracking.c
405
static __always_inline void ct_kernel_exit(bool user, int offset) { }