2  * CPU core abstract device
13 #include "hw/cpu/core.h"
20     CPUCore *core = CPU_CORE(obj);  in core_prop_get_core_id()  local
21     int64_t value = core->core_id;  in core_prop_get_core_id()
29     CPUCore *core = CPU_CORE(obj);  in core_prop_set_core_id()  local
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()
47     CPUCore *core = CPU_CORE(obj);  in core_prop_get_nr_threads()  local
48     int64_t value = core->nr_threads;  in core_prop_get_nr_threads()
56     CPUCore *core = CPU_CORE(obj);  in core_prop_set_nr_threads()  local
63     core->nr_threads = value;  in core_prop_set_nr_threads()
68     CPUCore *core = CPU_CORE(obj);  in cpu_core_instance_init()  local
71      * Only '-device something-cpu-core,help' can get us there before  in cpu_core_instance_init()
76         core->nr_threads = current_machine->smp.threads;  in cpu_core_instance_init()
85     object_class_property_add(oc, "core-id", "int", core_prop_get_core_id,  in cpu_core_class_init()