/* print_u32 - Print 32 bit of gcov data  */
static void print_u32(uint32_t v)
/* print_u32 - Print 32 bit of gcov data  */
static void print_u32(uint32_t v)
{
	uint8_t *ptr = (uint8_t *)&v;
	print_u8(*ptr);
	print_u8(*(ptr+1));
	print_u8(*(ptr+2));
	print_u8(*(ptr+3));
}