88 	 * if the recording is short, we default to a width of 1000, but  in open_svg()
89 	 * for longer recordings we want at least 200 units of width per second  in open_svg()
98 …fprintf(svgfile, "<svg width=\"%i\" height=\"%" PRIu64 "\" version=\"1.1\" xmlns=\"http://www.w3.o…  in open_svg()
102 	fprintf(svgfile, "      rect          { stroke-width: 1; }\n");  in open_svg()
103 …fprintf(svgfile, "      rect.process  { fill:rgb(180,180,180); fill-opacity:0.9; stroke-width:1;  …  in open_svg()
104 …fprintf(svgfile, "      rect.process2 { fill:rgb(180,180,180); fill-opacity:0.9; stroke-width:0;  …  in open_svg()
105 …fprintf(svgfile, "      rect.sample   { fill:rgb(  0,  0,255); fill-opacity:0.8; stroke-width:0;  …  in open_svg()
106 …fprintf(svgfile, "      rect.blocked  { fill:rgb(255,  0,  0); fill-opacity:0.5; stroke-width:0;  …  in open_svg()
107 …fprintf(svgfile, "      rect.waiting  { fill:rgb(224,214,  0); fill-opacity:0.8; stroke-width:0;  …  in open_svg()
108 …fprintf(svgfile, "      rect.WAITING  { fill:rgb(255,214, 48); fill-opacity:0.6; stroke-width:0;  …  in open_svg()
109 …fprintf(svgfile, "      rect.cpu      { fill:rgb(192,192,192); fill-opacity:0.2; stroke-width:0.5;…  in open_svg()
110 …fprintf(svgfile, "      rect.pstate   { fill:rgb(128,128,128); fill-opacity:0.8; stroke-width:0; }…  in open_svg()
111 …fprintf(svgfile, "      rect.c1       { fill:rgb(255,214,214); fill-opacity:0.5; stroke-width:0; }…  in open_svg()
112 …fprintf(svgfile, "      rect.c2       { fill:rgb(255,172,172); fill-opacity:0.5; stroke-width:0; }…  in open_svg()
113 …fprintf(svgfile, "      rect.c3       { fill:rgb(255,130,130); fill-opacity:0.5; stroke-width:0; }…  in open_svg()
114 …fprintf(svgfile, "      rect.c4       { fill:rgb(255, 88, 88); fill-opacity:0.5; stroke-width:0; }…  in open_svg()
115 …fprintf(svgfile, "      rect.c5       { fill:rgb(255, 44, 44); fill-opacity:0.5; stroke-width:0; }…  in open_svg()
116 …fprintf(svgfile, "      rect.c6       { fill:rgb(255,  0,  0); fill-opacity:0.5; stroke-width:0; }…  in open_svg()
117 …fprintf(svgfile, "      line.pstate   { stroke:rgb(255,255,  0); stroke-opacity:0.8; stroke-width:…  in open_svg()
127 	fprintf(svgfile, "<rect x=\"%4.8f\" width=\"%4.8f\" y=\"%4.1f\" height=\"%4.1f\" class=\"%s\"/>\n",  in svg_box()
137 …fprintf(svgfile, "<rect x=\"%4.8f\" width=\"%4.8f\" y=\"%4.1f\" height=\"%4.1f\" class=\"sample\"/…  in svg_sample()
195 	fprintf(svgfile, "<rect x=\"0\" width=\"%4.8f\" y=\"0\" height=\"%4.1f\" class=\"%s\"/>\n",  in svg_waiting()
245 …fprintf(svgfile, "<rect x=\"%4.8f\" width=\"%4.8f\" y=\"%4.1f\" height=\"%4.1f\" class=\"cpu\"/>\n…  in svg_cpu_box()
260 	double width;  in svg_process()  local
267 	fprintf(svgfile, "<rect x=\"0\" width=\"%4.8f\" y=\"0\" height=\"%4.1f\" class=\"%s\"/>\n",  in svg_process()
269 	width = time2pixels(end)-time2pixels(start);  in svg_process()
270 	if (width > 6)  in svg_process()
271 		width = 6;  in svg_process()
273 	width = round_text_size(width);  in svg_process()
275 	if (width > MIN_TEXT_SIZE)  in svg_process()
277 			width, name);  in svg_process()
284 	double width;  in svg_cstate()  local
295 	fprintf(svgfile, "<rect class=\"%s\" x=\"%4.8f\" width=\"%4.8f\" y=\"%4.1f\" height=\"%4.1f\"/>\n",  in svg_cstate()
300 	width = (time2pixels(end)-time2pixels(start))/2.0;  in svg_cstate()
301 	if (width > 6)  in svg_cstate()
302 		width = 6;  in svg_cstate()
304 	width = round_text_size(width);  in svg_cstate()
306 	if (width > MIN_TEXT_SIZE)  in svg_cstate()
308 			time2pixels(start), cpu2y(cpu)+width, width, type);  in svg_cstate()
363 …f\" y1=\"%4.2f\" x2=\"%4.8f\" y2=\"%4.2f\" style=\"stroke:rgb(32,255,32);stroke-width:0.009\"/>\n",  in svg_partial_wakeline()
370 …f\" y1=\"%4.2f\" x2=\"%4.8f\" y2=\"%4.2f\" style=\"stroke:rgb(32,255,32);stroke-width:0.009\"/>\n",  in svg_partial_wakeline()
378 …f\" y1=\"%4.2f\" x2=\"%4.8f\" y2=\"%4.2f\" style=\"stroke:rgb(32,255,32);stroke-width:0.009\"/>\n",  in svg_partial_wakeline()
385 …f\" y1=\"%4.2f\" x2=\"%4.8f\" y2=\"%4.2f\" style=\"stroke:rgb(32,255,32);stroke-width:0.009\"/>\n",  in svg_partial_wakeline()
409 …f\" y1=\"%4.2f\" x2=\"%4.8f\" y2=\"%4.2f\" style=\"stroke:rgb(32,255,32);stroke-width:0.009\"/>\n",  in svg_wakeline()
412 …f\" y1=\"%4.2f\" x2=\"%4.8f\" y2=\"%4.2f\" style=\"stroke:rgb(32,255,32);stroke-width:0.009\"/>\n",  in svg_wakeline()
447 	fprintf(svgfile, "<rect x=\"%i\" width=\"%4.8f\" y=\"0\" height=\"%4.1f\" class=\"%s\"/>\n",  in svg_legenda_box()
487 …1=\"%4.2f\" x2=\"%4.8f\" y2=\"%" PRIu64 "\" style=\"stroke:rgb(%i,%i,%i);stroke-width:%1.3f\"/>\n",  in svg_time_grid()