commit | b88eb015fc60f6e6da4c1a1090b53d0e320e579a | [log] [tgz] |
---|---|---|
author | Andrew Walbran <qwandor@google.com> | Wed Jul 05 13:58:26 2023 +0000 |
committer | Andrew Walbran <qwandor@google.com> | Wed Jul 05 14:06:26 2023 +0000 |
tree | 753c23ce28822a4ba96a0013af9e9a83d00cd2a3 | |
parent | c568ae0f12be84c66e2a30b7b2f578b84d9f40e3 [diff] |
Use read_volatile for stack_check_guard. Its whole point is that it will be aliased if the stack overflows, so it doesn't make sense to use a reference. In fact the compiler might optimise away the reads. Reading a pointer is still a bit dodgy, but better. Test: m vmbase_example_bin Change-Id: I23e83d2b83d945d0fe66bcbd909cd5e04a609e12
This repository contains userspace services related to running virtual machines on Android, especially protected virtual machines. See the getting started documentation and Microdroid README for more information.