Searched refs:tregs (Results 1 – 1 of 1) sorted by relevance
421 x86_saved_state_t *tregs) in rtclock_intr() argument429 if (is_saved_state64(tregs) == TRUE) { in rtclock_intr()432 regs = saved_state64(tregs); in rtclock_intr()441 regs = saved_state32(tregs); in rtclock_intr()