tree 9ada9dfba4c303056c7ba1189b2b9b4646eb970c
parent 7476936470563282bbfc1cfa2ab766353ef42f44
author Anna Lyons <anna@gh.st> 1563335883 +1000
committer Kent Mcleod <Kent.Mcleod@data61.csiro.au> 1564015650 +1000

utils/vka: update for aarch64 api change

Use seL4_ARM_VSpace* rather than seL4_ARM_PageGlobalDirectory*