Searched refs:kernel (Results 1 – 5 of 5) sorted by relevance
11 #error This is a kernel header. Perhaps include nftl-user.h instead?
24 } kernel; member47 } kernel; member554 } kernel; member570 } kernel; member
423 TP_PROTO(bool kernel, unsigned long cr3),424 TP_ARGS(kernel, cr3),426 __field(bool, kernel)429 TP_fast_assign(__entry->kernel = kernel;432 __entry->kernel ? "kernel" : "user", __entry->cr3)
524 void *kernel; /* reserved for kernel use (must be NULL) */ member
230 header-y += kernel.h232 header-y += kernel-page-flags.h