46 	char * out = buf;  in read_ctrl()  local
54 	out += sprintf(out, "hot plug ctrl Info Page\n");  in read_ctrl()
55 	out += sprintf(out, "bus = %d, device = %d, function = %d\n",ctrl->bus,  in read_ctrl()
57 	out += sprintf(out, "Free resources: memory\n");  in read_ctrl()
61 		out += sprintf(out, "start = %8.8x, length = %8.8x\n", res->base, res->length);  in read_ctrl()
64 	out += sprintf(out, "Free resources: prefetchable memory\n");  in read_ctrl()
68 		out += sprintf(out, "start = %8.8x, length = %8.8x\n", res->base, res->length);  in read_ctrl()
71 	out += sprintf(out, "Free resources: IO\n");  in read_ctrl()
75 		out += sprintf(out, "start = %8.8x, length = %8.8x\n", res->base, res->length);  in read_ctrl()
78 	out += sprintf(out, "Free resources: bus numbers\n");  in read_ctrl()
82 		out += sprintf(out, "start = %8.8x, length = %8.8x\n", res->base, res->length);  in read_ctrl()
87 	len = out-buf;  in read_ctrl()
95 	char * out = buf;  in read_dev()  local
105 	out += sprintf(out, "hot plug ctrl Info Page\n");  in read_dev()
106 	out += sprintf(out, "bus = %d, device = %d, function = %d\n",ctrl->bus,  in read_dev()
113 		out += sprintf(out, "assigned resources: memory\n");  in read_dev()
117 			out += sprintf(out, "start = %8.8x, length = %8.8x\n", res->base, res->length);  in read_dev()
120 		out += sprintf(out, "assigned resources: prefetchable memory\n");  in read_dev()
124 			out += sprintf(out, "start = %8.8x, length = %8.8x\n", res->base, res->length);  in read_dev()
127 		out += sprintf(out, "assigned resources: IO\n");  in read_dev()
131 			out += sprintf(out, "start = %8.8x, length = %8.8x\n", res->base, res->length);  in read_dev()
134 		out += sprintf(out, "assigned resources: bus numbers\n");  in read_dev()
138 			out += sprintf(out, "start = %8.8x, length = %8.8x\n", res->base, res->length);  in read_dev()
145 	len = out-buf;  in read_dev()