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