21     int64_t value = core->core_id;  in core_prop_get_core_id()  local
23     visit_type_int(v, name, &value, errp);  in core_prop_get_core_id()
30     int64_t value;  in core_prop_set_core_id()  local
32     if (!visit_type_int(v, name, &value, errp)) {  in core_prop_set_core_id()
36     if (value < 0) {  in core_prop_set_core_id()
37         error_setg(errp, "Invalid core id %"PRId64, value);  in core_prop_set_core_id()
41     core->core_id = value;  in core_prop_set_core_id()
48     int64_t value = core->nr_threads;  in core_prop_get_nr_threads()  local
50     visit_type_int(v, name, &value, errp);  in core_prop_get_nr_threads()
57     int64_t value;  in core_prop_set_nr_threads()  local
59     if (!visit_type_int(v, name, &value, errp)) {  in core_prop_set_nr_threads()
63     core->nr_threads = value;  in core_prop_set_nr_threads()