Symbol: efi_measure_tagged_event