/* Returns 1 if address can be used, otherwise 0  */
int tipc_addr_node_valid(u32 addr)
/* Returns 1 if address can be used, otherwise 0  */
int tipc_addr_node_valid(u32 addr)
{
	return (tipc_addr_domain_valid(addr) && tipc_node(addr));
}