77 static inline void write_u32(void *buffer, size_t *off, uint32_t v)  in write_u32()  function
150 	write_u32(buffer,  in gcov_populate_buffer()
154 	write_u32(buffer,  in gcov_populate_buffer()
158 	write_u32(buffer,  in gcov_populate_buffer()
163 	write_u32(buffer,  in gcov_populate_buffer()
175 		write_u32(buffer,  in gcov_populate_buffer()
179 		write_u32(buffer,  in gcov_populate_buffer()
183 		write_u32(buffer,  in gcov_populate_buffer()
187 		write_u32(buffer,  in gcov_populate_buffer()
191 		write_u32(buffer,  in gcov_populate_buffer()
205 			write_u32(buffer,  in gcov_populate_buffer()
211 			write_u32(buffer,  in gcov_populate_buffer()
215 			write_u32(buffer,  in gcov_populate_buffer()