Home
last modified time | relevance | path

Searched refs:gd_dpl (Results 1 – 5 of 5) sorted by relevance

/freebsd/sys/x86/include/
H A Dsegments.h105 unsigned gd_dpl:2; /* segment descriptor priority level */ member
128 uint64_t gd_dpl:2; /* segment descriptor priority level */ member
/freebsd/stand/efi/loader/arch/amd64/
H A Dtrap.c171 loader_idt_e->gd_dpl = 0; in prepare_exception()
/freebsd/sys/i386/i386/
H A Dmachdep.c618 ip->gd_dpl = dpl; in setidt_nodisp()
/freebsd/sys/amd64/amd64/
H A Dmachdep.c488 ip->gd_dpl = dpl; in setidt()
/freebsd/sys/amd64/vmm/intel/
H A Dvmx.c1002 KASSERT(gd->gd_dpl == SEL_KPL, ("gate descriptor for vector %d " in vmx_trigger_hostintr()
1003 "has invalid dpl %d", vector, gd->gd_dpl)); in vmx_trigger_hostintr()