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