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

source code of linux/arch/s390/boot/kmsan.c