#include "ioctl_kvm_run_common.c"
#if need_print_KVM_RUN
static void
print_KVM_RUN(const int fd, const char *const dev, const unsigned int reason)
{
printf("ioctl(%d<%s>, KVM_RUN, 0) = 0\n", fd, dev);
}
#endif