Searched refs:spapr_vcpu_id (Results 1 – 1 of 1) sorted by relevance
119 static int spapr_vcpu_id(SpaprMachineState *spapr, int cpu_index) in spapr_vcpu_id() function 2692 spapr_vcpu_id(spapr, core_id)); in spapr_init_cpus() 2851 * call spapr_max_server_number() or spapr_vcpu_id(). in spapr_machine_init() 3880 spapr_vcpu_id(spapr, cc->core_id)); in spapr_core_unplug_request() 3947 spapr_vcpu_id(spapr, cc->core_id)); in spapr_core_plug() 4482 vcpu_id = spapr_vcpu_id(spapr, cpu_index); in spapr_set_vcpu_id()