IS_KERNEL         528 drivers/oprofile/buffer_sync.c 				in_kernel = flags & IS_KERNEL;
IS_KERNEL         531 drivers/oprofile/buffer_sync.c 				add_kernel_ctx_switch(flags & IS_KERNEL);
IS_KERNEL         203 drivers/oprofile/cpu_buffer.c 			flags |= IS_KERNEL;