RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

arm: remove binary literals in GIC v3 code

Browse Source 
C parser used by verification does not allow binary literals as they are
not part of the C99 standard.

Signed-off-by: Rafal Kolanski <rafal.kolanski@data61.csiro.au>
This commit is contained in:
Rafal Kolanski
2020-11-18 19:33:25 +11:00
parent fae5379c41
commit 39a4d68d84
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/arch/arm/machine/gic_v3.c
View File

@@ -313,9 +313,9 @@ void setIRQTrigger(irq_t irq, bool_t trigger)
}
if (trigger) {
icfgr |= (0b10 << bit);
icfgr |= (2 << bit);
} else {
icfgr &= ~(0b11 << bit);
icfgr &= ~(3 << bit);
}
if (HW_IRQ_IS_PPI(hw_irq)) {