Home
last modified time | relevance | path

Searched refs:tss_ldt (Results 1 – 3 of 3) sorted by relevance

/freebsd-13-stable/sys/i386/include/
HDtss.h69 int tss_ldt; /* actually 16 bits: top 16 bits must be zero */ member
/freebsd-13-stable/usr.sbin/bhyve/
HDtask_switch.c89 uint16_t tss_ldt; member
500 SETREG(ctx, vcpu, VM_REG_GUEST_LDTR, tss->tss_ldt); in tss32_restore()
/freebsd-13-stable/sys/i386/i386/
HDmachdep.c1682 dblfault_tss->tss_ldt = GSEL(GLDT_SEL, SEL_KPL); in machdep_init_trampoline()