diff options
Diffstat (limited to 'results/classifier/deepseek-2-tmp/output/manual-review/1756927')
| -rw-r--r-- | results/classifier/deepseek-2-tmp/output/manual-review/1756927 | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/results/classifier/deepseek-2-tmp/output/manual-review/1756927 b/results/classifier/deepseek-2-tmp/output/manual-review/1756927 deleted file mode 100644 index 854bb3e0..00000000 --- a/results/classifier/deepseek-2-tmp/output/manual-review/1756927 +++ /dev/null @@ -1,19 +0,0 @@ - -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 |