+/* + * domain_add_cpu - Add a cpu to either/both resource's domain lists. + */ +static void domain_add_cpu(int cpu, struct rdt_resource *r) Bother. Missed one comment that needs s/cpu/CPU/ -Tony
+/* + * domain_add_cpu - Add a cpu to either/both resource's domain lists. + */ +static void domain_add_cpu(int cpu, struct rdt_resource *r) Bother. Missed one comment that needs s/cpu/CPU/ -Tony