> +    payload.tvalLow = extract64(trap_addr, 0, 32);
> +    payload.tvalHigh = extract64(trap_addr, 32, 32)
>
For synchronous exceptions, these fields should contain the trap value (tval),
but both are currently extracted from trap_addr

Thanks
Jay Chang

Reply via email to