Searched refs:tss_eflags (Results 1 – 4 of 4) sorted by relevance
52 int tss_eflags; /* program status longword */ member
67 uint32_t tss_eflags; member457 tss->tss_eflags = GETREG(vcpu, VM_REG_GUEST_RFLAGS); in tss32_save()459 tss->tss_eflags &= ~PSL_NT; in tss32_save()494 eflags = tss->tss_eflags; in tss32_restore()
1017 t->tss_eflags, t->tss_cs, t->tss_ss, t->tss_ds, in dblfault_handler()
1666 dblfault_tss->tss_eflags = PSL_KERNEL; in machdep_init_trampoline()