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

Lint
Lint Skipped
Unit
Unit Tests Skipped
Build Status
Buildable 32486
Build 29962: arc lint + arc unit