1 #define __percpu __attribute__((noderef, address_space(3)))
3 /* Turn v back into a normal var. */
5 (*(typeof(v) __attribute__((address_space(0), force)) *)(&v))
7 int main(int argc
, char *argv
)
9 unsigned int __percpu x
;
15 * check-name: Rusty Russell's typeof attribute casting.