dgruss opened this issue 9 years ago · 0 comments
on x86 we added a cr3 reload to ensure paging structures caches are reloaded... on ARM we need to add a line or two to do that