1  /*
       2   * Copyright (c) 2017-2018 The strace developers.
       3   * All rights reserved.
       4   *
       5   * SPDX-License-Identifier: GPL-2.0-or-later
       6   */
       7  
       8  #include "ioctl_kvm_run_common.c"
       9  
      10  #if need_print_KVM_RUN
      11  
      12  static void
      13  print_KVM_RUN(const int fd, const char *const dev, const unsigned int reason)
      14  {
      15  	printf("ioctl(%d<%s>, KVM_RUN, 0) = 0\n", fd, dev);
      16  }
      17  
      18  #endif