3c3
< // Copyright (c) 2011-2013 ARM Limited
---
> // Copyright (c) 2011-2013,2017 ARM Limited
280c280,281
< self.codeBlobs["postacc_code"] = "XResult = !writeResult;"
---
> self.codeBlobs["postacc_code"] = \
> "XResult = !writeResult; SevMailbox = 1; LLSCLock = 0;"
346c347,348
< self.codeBlobs["postacc_code"] = "XResult = !writeResult;"
---
> self.codeBlobs["postacc_code"] = \
> "XResult = !writeResult; SevMailbox = 1; LLSCLock = 0;"