67 	int idx;  in vybridimage_verify_header()  local
87 	for (idx = 0; idx < sizeof(hdr->fcb_bytes); idx++) {  in vybridimage_verify_header()
88 		uint8_t sw_ecc = vybridimage_sw_ecc(hdr->fcb_bytes[idx]);  in vybridimage_verify_header()
89 		if (sw_ecc != hdr->sw_ecc[idx])  in vybridimage_verify_header()
101 	int idx;  in vybridimage_set_header()  local
128 	for (idx = 0; idx < sizeof(hdr->fcb_bytes); idx++)  in vybridimage_set_header()
129 		hdr->sw_ecc[idx] = vybridimage_sw_ecc(hdr->fcb_bytes[idx]);  in vybridimage_set_header()
133 	int idx)  in vybridimage_print_hdr_field()  argument
135 	printf("header.fcb[%d] = %08x\n", idx, hdr->fcb[idx]);  in vybridimage_print_hdr_field()
142 	int idx;  in vybridimage_print_header()  local
144 	for (idx = 0; idx < 56; idx++)  in vybridimage_print_header()
145 		vybridimage_print_hdr_field(hdr, idx);  in vybridimage_print_header()