diff options
Diffstat (limited to 'results/classifier/zero-shot-user-mode/output/runtime/1756927')
| -rw-r--r-- | results/classifier/zero-shot-user-mode/output/runtime/1756927 | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/results/classifier/zero-shot-user-mode/output/runtime/1756927 b/results/classifier/zero-shot-user-mode/output/runtime/1756927 new file mode 100644 index 00000000..4eb97bfb --- /dev/null +++ b/results/classifier/zero-shot-user-mode/output/runtime/1756927 @@ -0,0 +1,24 @@ +runtime: 0.434 +instruction: 0.418 +syscall: 0.148 + + + +ARMv7 LPAE: IFSR doesn't have the LPAE bit in case of BKPT + +When a user application triggers a 'bkpt' instruction while LPAE is used, the bit [9] of IFSR is not correctly set during the prefetch abort exception. + +You'll find attached a minimal example to reproduce the issue (just run 'make all'). +The output I get is: + +supervisor +user +prefetch +short-descriptor + +The last entry should read 'long-descriptor'. + + +Qemu revision: 48ae1f60d8c9a770e6da64407984d84e25253c69 +Ubuntu verison: 16.04 LTS +Cross Compiler: gcc linaro 6.3.1-2017.02-x86_64_arm-eabi \ No newline at end of file |