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
--

Reply via email to