Home
last modified time | relevance | path

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

/freebsd/sys/x86/include/
H A Dsegments.h101 unsigned gd_selector:16; /* gate segment selector */ member
124 uint64_t gd_selector:16; /* gate segment selector */ member
/freebsd/stand/efi/loader/arch/amd64/
H A Dtrap.c168 loader_idt_e->gd_selector = fw_idt_e->gd_selector; in prepare_exception()
/freebsd/sys/i386/i386/
H A Dmachdep.c614 ip->gd_selector = selec; in setidt_nodisp()
/freebsd/sys/amd64/amd64/
H A Dmachdep.c484 ip->gd_selector = GSEL(GCODE_SEL, SEL_KPL); in setidt()
/freebsd/sys/amd64/vmm/intel/
H A Dvmx.c1004 KASSERT(gd->gd_selector == GSEL(GCODE_SEL, SEL_KPL), ("gate descriptor " in vmx_trigger_hostintr()
1005 "for vector %d has invalid selector %d", vector, gd->gd_selector)); in vmx_trigger_hostintr()