Update prototype of maskInterrupt to match implementations.
Update prototype of maskInterrupt to match implementations.

The prototype will ultimately be removed, but the mismatch is presently
breaking verification.

cmr/seL4,cmr/seL4,cmr/seL4