2 * Copyright (c) 2017-2018 The strace developers.
5 * SPDX-License-Identifier: GPL-2.0-or-later
8 #include "ioctl_kvm_run_common.c"
10 #if need_print_KVM_RUN
13 print_KVM_RUN(const int fd, const char *const dev, const unsigned int reason)
15 printf("ioctl(%d<%s>, KVM_RUN, 0) = 0\n", fd, dev);