Symbol: TPMS_TAGGED_PCR_SELECT