Searched defs:dpl_type (Results 1 – 1 of 1) sorted by relevance
228 unsigned vec_nr, vir_bytes offset, unsigned dpl_type) in int_gate()240 void int_gate_idt(unsigned vec_nr, vir_bytes offset, unsigned dpl_type) in int_gate_idt()