Home
last modified time | relevance | path

Searched refs:__kernel (Results 1 – 2 of 2) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/validation/
H A DWaddress-space-from.c2 #define __kernel __attribute__((address_space(0))) macro
11 static void expl(obj_t __kernel *k, obj_t __iomem *o, in expl()
19 (obj_t __kernel*)(k); // OK in expl()
H A DWaddress-space-all-attr.c2 #define __kernel __attribute__((address_space(0))) macro
12 static void expl(obj_t __kernel *k, obj_t __iomem *o, in expl()
19 (obj_t __kernel*)(k); in expl()