[PATCH] tipc __user annotations