kmsan: avoid false reports while processing NMIs
Needs ReviewPublic
Actions

Authored by chs on Thu, Sep 24, 12:09 AM.

Tags

None

Referenced Files

	F173243828: D59949.id187546.diff
	Thu, Sep 24, 3:39 PM

	F173238499: D59949.id187546.diff
	Thu, Sep 24, 2:28 PM

	F173235734: D59949.id.diff
	Thu, Sep 24, 1:54 PM

	F173219149: D59949.diff
	Thu, Sep 24, 9:51 AM

	F173212141: D59949.id187546.diff
	Thu, Sep 24, 8:24 AM

	F173210803: D59949.diff
	Thu, Sep 24, 8:10 AM

	F173203807: D59949.diff
	Thu, Sep 24, 6:58 AM

	Unknown Object (File)
	Thu, Sep 24, 1:35 AM

View All 9 Files

Subscribers

None

Details

Reviewers

imp

Summary

The NMI asm path needs two KMSAN hooks to avoid false reports:

KMSAN_INIT_ARG clears the parameter shadow for calling an instrumented C function from asm code
KMSAN_MARK_TRAPFRAME marks a trapframe that was initialized in asm code as initialized.

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 77233
Build 74116: arc lint + arc unit

Event Timeline

chs requested review of this revision.Thu, Sep 24, 12:09 AM

chs created this revision.

Harbormaster completed remote builds in B77233: Diff 187546.Thu, Sep 24, 12:09 AM

chs added a parent revision: D59948: kmsan: skip memdescs of type MEMDESC_VMPAGES.Thu, Sep 24, 12:09 AM

chs added a child revision: D59950: tcp: avoid disclosing uninitialize data in tcp_log code.

Revision Contents
Changeset List

Path

Size

sys/

amd64/

exception.S

2 lines

include/

asmacros.h

42 lines

Diff 187546

View Options

sys/amd64/amd64/exception.S