45 void write(dtc::byte_buffer &buffer, int fd)  in write()  argument
47 	size_t size = buffer.size();  in write()
48 	uint8_t *data = buffer.data();  in write()
82 	push_string(buffer, name);  in write_string()
84 	buffer.push_back(0);  in write_string()
90 	buffer.push_back(v);  in write_data()
96 	while (buffer.size() % 4 != 0)  in write_data()
98 		buffer.push_back(0);  in write_data()
100 	push_big_endian(buffer, v);  in write_data()
106 	while (buffer.size() % 8 != 0)  in write_data()
108 		buffer.push_back(0);  in write_data()
110 	push_big_endian(buffer, v);  in write_data()
116 	write(buffer, fd);  in write_to_file()
122 	return buffer.size();  in size()
131 		buffer.push_back('\n');  in write_line()
142 		buffer.push_back('\t');  in write_byte()
146 	buffer.push_back(out[0]);  in write_byte()
147 	buffer.push_back(out[1]);  in write_byte()
150 		buffer.push_back('\n');  in write_byte()
155 		buffer.push_back(';');  in write_byte()
156 		buffer.push_back(' ');  in write_byte()
164 	push_string(buffer, name);  in write_label()
165 	buffer.push_back('\n');  in write_label()
166 	push_string(buffer, name);  in write_label()
167 	buffer.push_back(':');  in write_label()
168 	buffer.push_back('\n');  in write_label()
169 	buffer.push_back('_');  in write_label()
170 	push_string(buffer, name);  in write_label()
171 	buffer.push_back(':');  in write_label()
172 	buffer.push_back('\n');  in write_label()
180 	push_string(buffer, name);  in write_comment()
189 		buffer.push_back((uint8_t)*(c++));  in write_string()
198 	push_string(buffer, name);  in write_string()
247 	write(buffer, fd);  in write_to_file()