On Mon, Jan 13, 2020 at 04:59:50PM +0100, Manuel Bouyer wrote: > It also sets rsp and rbp. I think rbp is not set by anything else, at last > in the Xen case. > The different rbp value would explain why in one case we hit a KASSERT() > in lwp_startup later. > But I don't know what pcb_rbp contains; I couldn't find where the pcb for > idlelwp is initialized.
I tried the attached patch, which should set rsp/rbp as cpu_switchto() does. It doens't cause the lwp_startup() KASSERT as calling cpu_switchto() does; it also doesn't change the scheduler behavior. -- Manuel Bouyer <bou...@antioche.eu.org> NetBSD: 26 ans d'experience feront toujours la difference --