portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update prototype of maskInterrupt to match implementations.

Browse source 
The prototype will ultimately be removed, but the mismatch is presently
breaking verification.
This commit is contained in:
Rafal Kolanski 2016-08-05 16:42:04 +10:00
parent 6859e3bbd9
commit e105053581
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
include/machine/hardware.h
View file

@ -29,5 +29,6 @@ irq_t getActiveIRQ(void);
bool_t isIRQPending(void);
/** MODIFIES: [*] */
void maskInterrupt(bool_t enable, irq_t irq);
void maskInterrupt(bool_t disable, irq_t irq);
#endif