tree 8cd7f7c80d93a56e4f53feca087bdee5f30698c8
parent 1789d84282ac27136b00e30328f8a3f65c0edcf6
author Dave Rodgman <dave.rodgman@gmail.com> 1685394350 +0100
committer Dave Rodgman <dave.rodgman@arm.com> 1686153015 +0100

Use faster type for state index

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>