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 430 HYPERVISOR_stack_switch(GSEL(GDATA_SEL, SEL_KPL), new->pcb_rsp0);
489 lldt(GSYSSEL(GLDT_SEL, SEL_KPL));
494 HYPERVISOR_stack_switch(GSEL(GDATA_SEL, SEL_KPL), pcb->pcb_rsp0);
1968 0xfffff, SDT_MEMERA, SEL_KPL, 1, 0, 1);
1971 0xfffff, SDT_MEMRWA, SEL_KPL, 1, 0, 1);
1981 LDT_SIZE - 1, SDT_SYSLDT, SEL_KPL, 0);
2022 sel = SEL_KPL;
2051 sel, GSEL(GCODE_SEL, SEL_KPL));
2057 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 27 milliseconds