614
616
uint32_t count, uint32_t index);
615
617
void spapr_hotplug_req_remove_by_count_indexed(sPAPRDRConnectorType drc_type,
616
618
uint32_t count, uint32_t index);
618
619
void *spapr_populate_hotplug_cpu_dt(CPUState *cs, int *fdt_offset,
619
620
sPAPRMachineState *spapr);