457 ifindex_to_name_ns(__u32 ifindex, __u32 ns_dev, __u32 ns_ino, char *buf)  in ifindex_to_name_ns()  argument
471 	return if_indextoname(ifindex, buf);  in ifindex_to_name_ns()
513 ifindex_to_bfd_params(__u32 ifindex, __u64 ns_dev, __u64 ns_ino,  in ifindex_to_bfd_params()  argument
520 	if (!ifindex_to_name_ns(ifindex, ns_dev, ns_ino, devname)) {  in ifindex_to_bfd_params()
521 		p_err("Can't get net device name for ifindex %d: %s", ifindex,  in ifindex_to_bfd_params()
548 void print_dev_plain(__u32 ifindex, __u64 ns_dev, __u64 ns_inode)  in print_dev_plain()  argument
552 	if (!ifindex)  in print_dev_plain()
556 	if (ifindex_to_name_ns(ifindex, ns_dev, ns_inode, name))  in print_dev_plain()
560 		       ifindex, ns_dev, ns_inode);  in print_dev_plain()
563 void print_dev_json(__u32 ifindex, __u64 ns_dev, __u64 ns_inode)  in print_dev_json()  argument
567 	if (!ifindex)  in print_dev_json()
572 	jsonw_uint_field(json_wtr, "ifindex", ifindex);  in print_dev_json()
575 	if (ifindex_to_name_ns(ifindex, ns_dev, ns_inode, name))  in print_dev_json()