63 static inline void write_u64(void *buffer, size_t *off, uint64_t v)  in write_u64()  argument
65 	if (buffer != NULL) {  in write_u64()
66 		memcpy((uint8_t *)buffer + *off, (uint8_t *)&v, sizeof(v));  in write_u64()
77 static inline void write_u32(void *buffer, size_t *off, uint32_t v)  in write_u32()  argument
79 	if (buffer != NULL) {  in write_u32()
80 		memcpy((uint8_t *)buffer + *off, (uint8_t *)&v, sizeof(v));  in write_u32()
140 size_t gcov_populate_buffer(uint8_t *buffer, struct gcov_info *info)  in gcov_populate_buffer()  argument
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()
224 				write_u64(buffer,  in gcov_populate_buffer()
305 	uint8_t *buffer;  in gcov_coverage_dump()  local
322 		buffer = k_heap_alloc(&gcov_heap, size, K_NO_WAIT);  in gcov_coverage_dump()
323 		if (CONFIG_COVERAGE_GCOV_HEAP_SIZE > 0 && !buffer) {  in gcov_coverage_dump()
328 		written_size = gcov_populate_buffer(buffer, gcov_list);  in gcov_coverage_dump()
334 		dump_on_console_data(buffer, size);  in gcov_coverage_dump()
336 		k_heap_free(&gcov_heap, buffer);  in gcov_coverage_dump()