HomeFreeBSD

geom_disk: Add KMSAN checks

Description

geom_disk: Add KMSAN checks

  • In g_disk_start(), verify that the data to be written is initialized according to KMSAN shadow state.
  • In g_disk_done(), verify that the block driver updated shadow state as expected, so as to catch sources of false positives early.

Sponsored by: The FreeBSD Foundation

Details

Provenance
markjAuthored on Aug 11 2021, 8:22 PM
Parents
rG10a8e93da158: kmsan: Export kmsan_mark_mbuf() and kmsan_mark_bio()
Branches
Unknown
Tags
Unknown