Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-04-04 22:39:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

ioapic: fix haskell for new 14 bit FSR

Browse Source
This commit is contained in:
Joel Beeren
2014-09-01 15:22:05 +10:00
committed by Adrian Danis
parent f2a3677d23
commit ec02c27ea7
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
haskell/src/SEL4/Kernel/VSpace/ARM.lhs
View File

@@ -554,12 +554,12 @@ If the kernel receives a VM fault from the CPU, it must determine the address an
> handleVMFault _ ARMDataAbort = do
> addr <- withoutFailure $ doMachineOp getFAR
> fault <- withoutFailure $ doMachineOp getDFSR
> throw $ VMFault addr [0, fault .&. mask 12]
> throw $ VMFault addr [0, fault .&. mask 14]
>
> handleVMFault thread ARMPrefetchAbort = do
> pc <- withoutFailure $ asUser thread $ getRestartPC
> fault <- withoutFailure $ doMachineOp getIFSR
> throw $ VMFault (VPtr pc) [1, fault .&. mask 12]
> throw $ VMFault (VPtr pc) [1, fault .&. mask 14]
\subsection{Unmapping and Deletion}