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