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