Page MenuHomeFreeBSD

ipi: avoid false KMSAN / KASAN reports in ipi_swi_handler()
AcceptedPublic

Authored by chs on Thu, Sep 24, 12:10 AM.
Tags
None
Referenced Files
Unknown Object (File)
Fri, Oct 16, 9:04 AM
Unknown Object (File)
Fri, Oct 16, 12:33 AM
Unknown Object (File)
Wed, Oct 14, 5:45 PM
Unknown Object (File)
Wed, Oct 14, 7:18 AM
Unknown Object (File)
Tue, Oct 13, 11:51 AM
Unknown Object (File)
Mon, Oct 12, 9:57 PM
Unknown Object (File)
Fri, Oct 9, 12:26 PM
Unknown Object (File)
Tue, Oct 6, 8:52 PM
Subscribers
None

Details

Reviewers
imp
markj
kib
jhb
Summary

add missing KASAN/KMSAN marking of the trapframe in ipi_swi_handler().
Found with KMSAN.

Sponsored by: Netflix
Assisted-By: Claude Code - Opus 5 (1M context)

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Skipped
Unit
Tests Skipped
Build Status
Buildable 77242
Build 74125: arc lint + arc unit

Event Timeline

chs requested review of this revision.Thu, Sep 24, 12:10 AM
chs created this revision.
imp added reviewers: markj, kib, jhb.

I'm pretty sure this is right, but having another set of eyes wouldn't hurt.

This revision is now accepted and ready to land.Tue, Sep 29, 10:31 PM