Symbol: __kernel
usr/src/tools/smatch/src/validation/Waddress-space-all-attr.c
12
static void expl(obj_t __kernel *k, obj_t __iomem *o,
usr/src/tools/smatch/src/validation/Waddress-space-all-attr.c
19
(obj_t __kernel*)(k);
usr/src/tools/smatch/src/validation/Waddress-space-from.c
11
static void expl(obj_t __kernel *k, obj_t __iomem *o,
usr/src/tools/smatch/src/validation/Waddress-space-from.c
19
(obj_t __kernel*)(k); // OK