Searched refs:update_timer_mcck (Results 1 – 2 of 2) sorted by relevance
20 static inline void update_timer_mcck(void) in update_timer_mcck() function
380 update_timer_mcck(); in s390_do_machine_check()