1#!/bin/sh 2# SPDX-License-Identifier: GPL-2.0 3# Tests the printf infrastructure using test_printf kernel module. 4$(dirname $0)/../kselftest/module.sh "s2mpu" test_kvm_s2mpu 5