parse_int_value
id = parse_int_value("id", cp + strlen("id="), 0,
guest_ncpus = parse_int_value("cpus", value, 1, UINT16_MAX);
cpu_cores = parse_int_value("cores", value, 1, UINT16_MAX);
cpu_threads = parse_int_value("threads", value, 1, UINT16_MAX);
cpu_sockets = parse_int_value("sockets", value, 1, UINT16_MAX);