Page MenuHomeFreeBSD

Set si_addr to badvaddr for TLB faults.
ClosedPublic

Authored by jhb on Jul 22 2020, 4:32 PM.

Details

Test Plan
  • make tinderbox and also used in CheriBSD where I believe I've verified the value in gdb via 'p $_siginfo' but otherwise haven't really tested

Diff Detail

Repository
rS FreeBSD src repository
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.