parse_int_value
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);