tree 0bced03bb8a9c75d9243fd0d0ff5a3db453942fb
parent 7e93207f5d852a3ca3ed4a6f2eb534f23fddba4d
author Damon Lee <Damon.Lee@data61.csiro.au> 1616561441 +1100
committer Damon Lee <Damon.Lee@data61.csiro.au> 1616564503 +1100

libsel4debug: Correct aarch32 registers names

Somehow along the way, some of the names of the registers of the
kernel's user context for aarch32 got changed and also some other
registers got added. This file wasn't kept updated in regards to user
context change. This commit updates it so that it reflects the user
context changes for aarch32.

Signed-off-by: Damon Lee <Damon.Lee@data61.csiro.au>