51 static void set_gate64(void *ptr, unsigned int type, unsigned int dpl,  in set_gate64()  argument
56     e2 = (addr & 0xffff0000) | 0x8000 | (dpl << 13) | (type << 8);  in set_gate64()
65 /* only dpl matters as we do only user space emulation */
66 static void set_idt(int n, unsigned int dpl, bool is64)  in set_idt()  argument
68     set_gate64(idt_table + n * 2, 0, dpl, 0, 0);  in set_idt()
71 static void set_gate(void *ptr, unsigned int type, unsigned int dpl,  in set_gate()  argument
76     e2 = (addr & 0xffff0000) | 0x8000 | (dpl << 13) | (type << 8);  in set_gate()
82 /* only dpl matters as we do only user space emulation */
83 static void set_idt(int n, unsigned int dpl, bool is64)  in set_idt()  argument
86         set_gate64(idt_table + n * 2, 0, dpl, 0, 0);  in set_idt()
88         set_gate(idt_table + n, 0, dpl, 0, 0);  in set_idt()