277 void process_event_record(uint8_t *event_data, size_t bytes)  in process_event_record()  argument
287 void display_event(uint8_t *event_data, size_t bytes)  in display_event()  argument
291 	if (!(event_data && bytes > 0))  in display_event()
294 	for (i = 0; i < bytes; i++) {  in display_event()
303 	process_event_record(event_data, bytes);  in display_event()
310 	size_t bytes = sizeof(event_data); /* Event size in bytes */  in get_hab_status()  local
331 					&bytes) == HAB_SUCCESS) {  in get_hab_status()
336 			display_event(event_data, bytes);  in get_hab_status()
338 			bytes = sizeof(event_data);  in get_hab_status()
416 	size_t bytes;  in authenticate_image()  local
440 			bytes = ivt_offset + IVT_SIZE + CSF_PAD_SIZE;  in authenticate_image()
461 			printf("\tbytes = 0x%x\n", bytes);  in authenticate_image()
494 					(size_t *)&bytes, NULL);  in authenticate_image()