tree 32e14414e2e05725360b6e2c828ac3975a921964
parent b42ba6d92faf6b4938e6f22ddd186dbdacc98d78
author Graeme Leese <gleese@broadcom.com> 1643637139 +0000
committer Graeme Leese <gleese@broadcom.com> 1643637139 +0000

Add EXT tag to capability to DemoteToHelperInvocationEXT

Normally the grammar uses the extension tagged capability names when
talking about extension tagged instructions. Technically speaking
they're the same capability, but it's nice to be consistent.