#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