On 18/11/19 12:27, Thomas Huth wrote: >> * Note: uses machine properties such as kernel-irqchip, must run >> * after machine_set_property(). >> */ >> - configure_accelerator(current_machine, argv[0]); >> + cpu_ticks_init(); >> + configure_accelerators(argv[0]); > The comment about kernel-irqchip obviously rather belongs to > configure_accelerators() instead of cpu_ticks_init(), so maybe you > should move the cpu_ticks_init() before the comment now?
Ok. > (does it need > to be moved here at all? ... it looks pretty independent at a first glance) No, it doesn't. Whether to move it or not is a matter of personal preference, so I can certainly move it back. Paolo