// SPDX-License-Identifier: GPL-2.0 #include <linux/kmsan-checks.h> void kmsan_unpoison_memory(const void *address, size_t size) { }