Applied, thanks! Luca Dariz, le mer. 19 avril 2023 21:46:59 +0200, a ecrit: > * x86_64/locore.S: the faulty address is found in %rbp and not in > %rsi, so copy that in CR2 > --- > x86_64/locore.S | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/x86_64/locore.S b/x86_64/locore.S > index 47d9085c..ea5c71d6 100644 > --- a/x86_64/locore.S > +++ b/x86_64/locore.S > @@ -1213,7 +1213,7 @@ mach_call_call: > mach_call_addr_push: > movq %r11,%rsp /* clean parameters from stack */ > mach_call_addr: > - movq %rsi,R_CR2(%rbx) /* set fault address */ > + movq %rbp,R_CR2(%rbx) /* set fault address */ > movq $(T_PAGE_FAULT),R_TRAPNO(%rbx) > /* set page-fault trap */ > movq $(T_PF_USER),R_ERR(%rbx) > -- > 2.30.2 > >
-- Samuel --- Pour une évaluation indépendante, transparente et rigoureuse ! Je soutiens la Commission d'Évaluation de l'Inria.