48 int tipc_addr_domain_valid(u32 addr)  in tipc_addr_domain_valid()  argument
50 	u32 n = tipc_node(addr);  in tipc_addr_domain_valid()
51 	u32 c = tipc_cluster(addr);  in tipc_addr_domain_valid()
52 	u32 z = tipc_zone(addr);  in tipc_addr_domain_valid()
68 int tipc_addr_node_valid(u32 addr)  in tipc_addr_node_valid()  argument
70 	return tipc_addr_domain_valid(addr) && tipc_node(addr);  in tipc_addr_node_valid()
73 int tipc_in_scope(u32 domain, u32 addr)  in tipc_in_scope()  argument
75 	if (!domain || (domain == addr))  in tipc_in_scope()
77 	if (domain == tipc_cluster_mask(addr)) /* domain <Z.C.0> */  in tipc_in_scope()
79 	if (domain == tipc_zone_mask(addr)) /* domain <Z.0.0> */  in tipc_in_scope()
98 char *tipc_addr_string_fill(char *string, u32 addr)  in tipc_addr_string_fill()  argument
101 		 tipc_zone(addr), tipc_cluster(addr), tipc_node(addr));  in tipc_addr_string_fill()