Searched refs:tregs (Results 1 – 1 of 1) sorted by relevance
422 x86_saved_state_t *tregs) in rtclock_intr() argument430 if (is_saved_state64(tregs) == TRUE) { in rtclock_intr()433 regs = saved_state64(tregs); in rtclock_intr()442 regs = saved_state32(tregs); in rtclock_intr()