Searched refs:restore_event_mask (Results 1 – 1 of 1) sorted by relevance
142 static inline void restore_event_mask(void) in restore_event_mask() function316 restore_event_mask(); /* Step 15. */ in main()