Searched refs:idt_v (Results 1 – 1 of 1) sorted by relevance
2417 uint32_t idt_v = in task_switch_interception() local2430 else if (idt_v) in task_switch_interception()