void __set_FAULTMASK(unsigned val);
__set_FAULTMASK sets the value of the Cortex-M3/M4 FAULTMASK register.