print_device_matching_resource
print_device_matching_resource, ia) != 0) {
print_device_matching_resource, ia);
static int print_device_matching_resource(struct devinfo_res *, void *);