Searched refs:faultMask (Results 1 – 6 of 6) sorted by relevance
256 __STATIC_INLINE void __set_FAULTMASK(uint32_t faultMask) in __set_FAULTMASK() argument259 __regFaultMask = (faultMask & (uint32_t)1); in __set_FAULTMASK()
512 __attribute__((always_inline)) __STATIC_INLINE void __set_FAULTMASK(uint32_t faultMask) in __set_FAULTMASK() argument514 __ASM volatile ("MSR faultmask, %0" : : "r" (faultMask) : "memory"); in __set_FAULTMASK()524 __attribute__((always_inline)) __STATIC_INLINE void __TZ_set_FAULTMASK_NS(uint32_t faultMask) in __TZ_set_FAULTMASK_NS() argument526 __ASM volatile ("MSR faultmask_ns, %0" : : "r" (faultMask) : "memory"); in __TZ_set_FAULTMASK_NS()
299 __attribute__( ( always_inline ) ) __STATIC_INLINE void __set_FAULTMASK(uint32_t faultMask) in __set_FAULTMASK() argument301 __ASM volatile ("MSR faultmask, %0" : : "r" (faultMask) : "memory"); in __set_FAULTMASK()