void get_vcpu_migration_delay_func(int argc, char *argv[]) { uint32_t value; if ( argc ) fprintf(stderr, "Ignoring argument(s)\n"); if ( !xc_get_vcpu_migration_delay(xc_handle, &value) ) printf("Scheduler vcpu migration delay is %d us\n", value); else fprintf(stderr, "Failed to get scheduler vcpu migration delay (%d - %s)\n", errno, strerror(errno)); }
void get_vcpu_migration_delay_func(int argc, char *argv[]) { uint32_t value; int rc; if (argc != 0){ show_help(); exit(-1); } rc = xc_get_vcpu_migration_delay(xc_handle, &value); if (!rc) { printf("Schduler vcpu migration delay is %d us\n", value); } else { printf("Failed to get scheduler vcpu migration delay, errno=%d\n", errno); } return; }