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