Symbol: efi_id