Searched refs:stacksel (Results 1 – 1 of 1) sorted by relevance
633 uint16_t stacksel; in push_errcode() local637 stacksel = GETREG(ctx, vcpu, VM_REG_GUEST_SS); in push_errcode()668 sel_exception(ctx, vcpu, IDT_SS, stacksel, 1); in push_errcode()