66 static inline void write_u64(void *buffer, size_t *off, uint64_t v)  in write_u64()  argument
68 	if (buffer != NULL) {  in write_u64()
69 		memcpy((uint8_t *)buffer + *off, (uint8_t *)&v, sizeof(v));  in write_u64()
80 static inline void write_u32(void *buffer, size_t *off, uint32_t v)  in write_u32()  argument
82 	if (buffer != NULL) {  in write_u32()
83 		memcpy((uint8_t *)buffer + *off, (uint8_t *)&v, sizeof(v));  in write_u32()
143 size_t gcov_populate_buffer(uint8_t *buffer, struct gcov_info *info)  in gcov_populate_buffer()  argument
153 	write_u32(buffer,  in gcov_populate_buffer()
157 	write_u32(buffer,  in gcov_populate_buffer()
161 	write_u32(buffer,  in gcov_populate_buffer()
166 	write_u32(buffer,  in gcov_populate_buffer()
178 		write_u32(buffer,  in gcov_populate_buffer()
182 		write_u32(buffer,  in gcov_populate_buffer()
186 		write_u32(buffer,  in gcov_populate_buffer()
190 		write_u32(buffer,  in gcov_populate_buffer()
194 		write_u32(buffer,  in gcov_populate_buffer()
208 			write_u32(buffer,  in gcov_populate_buffer()
214 			write_u32(buffer,  in gcov_populate_buffer()
218 			write_u32(buffer,  in gcov_populate_buffer()
227 				write_u64(buffer,  in gcov_populate_buffer()
310 	uint8_t *buffer;  in gcov_coverage_dump()  local
332 		buffer = k_heap_alloc(&gcov_heap, size, K_NO_WAIT);  in gcov_coverage_dump()
333 		if (CONFIG_COVERAGE_GCOV_HEAP_SIZE > 0 && !buffer) {  in gcov_coverage_dump()
335 			k_heap_free(&gcov_heap, buffer);  in gcov_coverage_dump()
339 		written_size = gcov_populate_buffer(buffer, gcov_list);  in gcov_coverage_dump()
342 			k_heap_free(&gcov_heap, buffer);  in gcov_coverage_dump()
346 		dump_on_console_data(buffer, size);  in gcov_coverage_dump()
348 		k_heap_free(&gcov_heap, buffer);  in gcov_coverage_dump()
371 	uint8_t *buffer;  in gcov_coverage_semihost()  local
393 		buffer = k_heap_alloc(&gcov_heap, size, K_NO_WAIT);  in gcov_coverage_semihost()
394 		if (CONFIG_COVERAGE_GCOV_HEAP_SIZE > 0 && !buffer) {  in gcov_coverage_semihost()
397 			k_heap_free(&gcov_heap, buffer);  in gcov_coverage_semihost()
401 		written_size = gcov_populate_buffer(buffer, gcov_list);  in gcov_coverage_semihost()
405 			k_heap_free(&gcov_heap, buffer);  in gcov_coverage_semihost()
409 		int ret = semihost_write(fd, (const void *)buffer, size);  in gcov_coverage_semihost()
414 			k_heap_free(&gcov_heap, buffer);  in gcov_coverage_semihost()
418 		k_heap_free(&gcov_heap, buffer);  in gcov_coverage_semihost()