ct_kernel_enter
static void noinstr ct_kernel_enter(bool user, int offset)
static __always_inline void ct_kernel_enter(bool user, int offset) { }