kvm_clock_system_time_enable_pcpu
kvm_clock_system_time_enable_pcpu(sc);
static void kvm_clock_system_time_enable_pcpu(void *arg);
smp_rendezvous_cpus(*cpus, NULL, kvm_clock_system_time_enable_pcpu,