Searched defs:idt_v (Results 1 – 2 of 2) sorted by relevance
2213 uint32_t idt_v = in task_switch_interception() local
5378 int reason, type, idt_v, idt_index; in handle_task_switch() local