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