On 12/02/2015 06:28 PM, Sergei Shtylyov wrote:
@@ -1084,7 +1084,7 @@ static void __init __gic_init(unsigned long gic_base_addr,gic_ipi_domain->bus_token = DOMAIN_BUS_IPI; /* Make the last 2 * NR_CPUS available for IPIs */Looks like you forgot to also change this comment...
This code changes again in a later patch with the correct comment on. I'll fix it in the next series.
Thanks, Qais