| /* SPDX-License-Identifier: GPL-2.0 */ |
| #ifndef _S390_VTIME_H |
| #define _S390_VTIME_H |
| |
| static inline void update_timer_sys(void) |
| { |
| struct lowcore *lc = get_lowcore(); |
| |
| lc->system_timer += lc->last_update_timer - lc->exit_timer; |
| lc->user_timer += lc->exit_timer - lc->sys_enter_timer; |
| lc->last_update_timer = lc->sys_enter_timer; |
| } |
| |
| static inline void update_timer_mcck(void) |
| { |
| struct lowcore *lc = get_lowcore(); |
| |
| lc->system_timer += lc->last_update_timer - lc->exit_timer; |
| lc->user_timer += lc->exit_timer - lc->mcck_enter_timer; |
| lc->last_update_timer = lc->mcck_enter_timer; |
| } |
| |
| #endif /* _S390_VTIME_H */ |
