tree 7047669b70d067ad7fb018123f26ec4f065173b7
parent 65dc2715042b96eeae08edd4504b631b8d21af79
author Kathleen Capella <kathleen.capella@arm.com> 1658521596 -0400
committer Kathleen Capella <kathleen.capella@arm.com> 1661401321 -0400

fix(gpt): correct the GPC enable sequence

Since GPC control register fields are permitted to be cached in a TLB,
invalidate TLB after setting fields to ensure future checks are using
the updated values.

Signed-off-by: Kathleen Capella <kathleen.capella@arm.com>
Change-Id: I95630b40b673363bbf74da2705deca03089fff3a