adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

arm-hyp machine: update maxIRQ

This commit is contained in:
Rafal Kolanski 2017-04-06 02:06:05 +10:00 committed by Alejandro Gomez-Londono
parent 75492ee523
commit 6c1715827c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
spec/machine/ARM_HYP/Platform.thy
View File

@ -76,7 +76,7 @@ definition
definition
maxIRQ :: "irq" where
"maxIRQ \<equiv> 0x9F"
"maxIRQ \<equiv> 191"
definition irqVGICMaintenance :: "irq"
where "irqVGICMaintenance \<equiv> 25"