502 ifindex_to_name_ns(__u32 ifindex, __u32 ns_dev, __u32 ns_ino, char *buf)  in ifindex_to_name_ns()  argument
516 	return if_indextoname(ifindex, buf);  in ifindex_to_name_ns()
557 const char *ifindex_to_bfd_name_ns(__u32 ifindex, __u64 ns_dev, __u64 ns_ino)  in ifindex_to_bfd_name_ns()  argument
563 	if (!ifindex_to_name_ns(ifindex, ns_dev, ns_ino, devname)) {  in ifindex_to_bfd_name_ns()
564 		p_err("Can't get net device name for ifindex %d: %s", ifindex,  in ifindex_to_bfd_name_ns()
590 void print_dev_plain(__u32 ifindex, __u64 ns_dev, __u64 ns_inode)  in print_dev_plain()  argument
594 	if (!ifindex)  in print_dev_plain()
598 	if (ifindex_to_name_ns(ifindex, ns_dev, ns_inode, name))  in print_dev_plain()
602 		       ifindex, ns_dev, ns_inode);  in print_dev_plain()
605 void print_dev_json(__u32 ifindex, __u64 ns_dev, __u64 ns_inode)  in print_dev_json()  argument
609 	if (!ifindex)  in print_dev_json()
614 	jsonw_uint_field(json_wtr, "ifindex", ifindex);  in print_dev_json()
617 	if (ifindex_to_name_ns(ifindex, ns_dev, ns_inode, name))  in print_dev_json()