is_reserved_name 8249 drivers/infiniband/hw/hfi1/chip.c 		   is_reserved_name(name, sizeof(name), source));
is_reserved_name 8276 drivers/infiniband/hw/hfi1/chip.c 				is_reserved_name,	is_reserved_int},