Searched refs:irq_time (Results 1 – 1 of 1) sorted by relevance
220 uint64_t irq_time = 0; in hw_spin_should_keep_spinning() local236 irq_time = current_thread()->machine.int_time_mt; in hw_spin_should_keep_spinning()244 state->hwss_irq_start = irq_time; in hw_spin_should_keep_spinning()254 state->hwss_irq_end = irq_time; in hw_spin_should_keep_spinning()