HomeSort by: relevance | last modified time | path
    Searched defs:SEL_KPL (Results 1 - 4 of 4) sorted by relevancy

  /src/sys/arch/amd64/amd64/
gdt.c 119 idx = IDXSEL(GDYNSEL(slot, SEL_KPL));
171 LDT_SIZE - 1, SDT_SYSLDT, SEL_KPL, 0);
261 SEL_KPL, 0);
265 return GDYNSEL(slot, SEL_KPL);
268 return GSEL(GNULL_SEL, SEL_KPL);
280 KASSERT(sel == GSEL(GNULL_SEL, SEL_KPL));
293 set_sys_gdt(slot, ldtp, len - 1, SDT_SYSLDT, SEL_KPL, 0);
295 return GDYNSEL(slot, SEL_KPL);
machdep.c 427 HYPERVISOR_stack_switch(GSEL(GDATA_SEL, SEL_KPL), new->pcb_rsp0);
486 lldt(GSYSSEL(GLDT_SEL, SEL_KPL));
491 HYPERVISOR_stack_switch(GSEL(GDATA_SEL, SEL_KPL), pcb->pcb_rsp0);
1898 0xfffff, SDT_MEMERA, SEL_KPL, 1, 0, 1);
1901 0xfffff, SDT_MEMRWA, SEL_KPL, 1, 0, 1);
1911 LDT_SIZE - 1, SDT_SYSLDT, SEL_KPL, 0);
1952 sel = SEL_KPL;
1981 sel, GSEL(GCODE_SEL, SEL_KPL));
1987 GSEL(GCODE_SEL, SEL_KPL));
  /src/sys/arch/amd64/include/
segments.h 100 #define SEL_KPL 3 /* kernel privilege level */
103 #define SEL_KPL 0 /* kernel privilege level */
113 #define IOPL_KPL SEL_KPL
134 #define GDYNSEL(s,r) ((((s) << 4) + DYNSEL_START) | r | SEL_KPL)
146 #define KERNELMODE(c) (ISPL(c) == SEL_KPL)
  /src/sys/arch/i386/include/
segments.h 93 #define SEL_KPL 0 /* kernel privilege level */
96 #define SEL_KPL 1 /* kernel privilege level */
108 #define IOPL_KPL SEL_KPL
119 #define GDYNSEL(s,r) ((((s) << 3) + DYNSEL_START) | r | SEL_KPL)
124 #define KERNELMODE(c) (ISPL(c) == SEL_KPL)

Completed in 19 milliseconds