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