Searched refs:irq_time (Results 1 – 1 of 1) sorted by relevance
222 uint64_t irq_time = 0; in hw_spin_should_keep_spinning() local238 irq_time = current_thread()->machine.int_time_mt; in hw_spin_should_keep_spinning()246 state->hwss_irq_start = irq_time; in hw_spin_should_keep_spinning()256 state->hwss_irq_end = irq_time; in hw_spin_should_keep_spinning()