diff options
Diffstat (limited to 'results/scraper/launchpad-without-comments/1756927')
| -rw-r--r-- | results/scraper/launchpad-without-comments/1756927 | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/results/scraper/launchpad-without-comments/1756927 b/results/scraper/launchpad-without-comments/1756927 new file mode 100644 index 000000000..7003fbf48 --- /dev/null +++ b/results/scraper/launchpad-without-comments/1756927 @@ -0,0 +1,18 @@ +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 |