cr4_update_pce
on_each_cpu_mask(mm_cpumask(mm), cr4_update_pce, NULL, 1);
on_each_cpu_mask(mm_cpumask(mm), cr4_update_pce, NULL, 1);
on_each_cpu(cr4_update_pce, NULL, 1);
void cr4_update_pce(void *ignored);